LSP MCP Server Integration
LSP MCP Server forbinder Language Server Protocol (LSP)-servere til AI-assistenter og muliggør avanceret kodeanalyse, intelligent autofuldførelse, diagnostik og...
4 min læsning
AI
Code Intelligence
+4
LSP
Lean LSP MCP Server
Lean LSP MCP-serveren forbinder AI-assistenter og Lean Theorem Prover-projekter ved hjælp af Language Server Protocol, så agenter kan få adgang til diagnostik, ...
3 min læsning
Lean
LSP
+4