LSP MCP-Server-Integration
Der LSP MCP-Server verbindet Language Server Protocol (LSP) Server mit KI-Assistenten und ermöglicht erweiterte Code-Analyse, intelligente Vervollständigung, Di...
5 Min. Lesezeit
AI
Code Intelligence
+4
LSP
Lean LSP MCP Server
Der Lean LSP MCP-Server verbindet KI-Assistenten und Lean Theorem Prover-Projekte über das Language Server Protocol und ermöglicht Agenten den Zugriff auf Diagn...
4 Min. Lesezeit
Lean
LSP
+4