Integración del Servidor LSP MCP
El Servidor LSP MCP conecta los servidores del Protocolo de Servidor de Lenguaje (LSP) con asistentes de IA, permitiendo análisis avanzado de código, autocomple...
5 min de lectura
AI
Code Intelligence
+4
LSP
Servidor Lean LSP MCP
El servidor Lean LSP MCP conecta asistentes de IA y proyectos de Lean Theorem Prover usando el Protocolo de Servidor de Lenguaje, permitiendo a los agentes acce...
4 min de lectura
Lean
LSP
+4