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
Lean
Cargando...
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...