LSP MCP Server-integratie
De LSP MCP Server verbindt Language Server Protocol (LSP) servers met AI-assistenten, waardoor geavanceerde code-analyse, intelligente aanvulling, diagnostiek e...
5 min lezen
AI
Code Intelligence
+4
LSP
Lean LSP MCP Server
De Lean LSP MCP-server overbrugt AI-assistenten en Lean Theorem Prover-projecten via het Language Server Protocol, waardoor agents toegang krijgen tot diagnosti...
4 min lezen
Lean
LSP
+4