Integrazione LSP MCP Server
Il server LSP MCP collega i server Language Server Protocol (LSP) agli assistenti AI, abilitando analisi avanzate del codice, completamento intelligente, diagno...
5 min di lettura
AI
Code Intelligence
+4
LSP
Lean LSP MCP Server
Il server Lean LSP MCP collega assistenti AI e progetti Lean Theorem Prover tramite il Language Server Protocol, consentendo agli agenti di accedere a diagnosti...
4 min di lettura
Lean
LSP
+4