LSP MCP Server Integration
The LSP MCP Server connects Language Server Protocol (LSP) servers to AI assistants, enabling advanced code analysis, intelligent completion, diagnostics, and e...
5 min read
AI
Code Intelligence
+4
LSP
Lean LSP MCP Server
The Lean LSP MCP server bridges AI assistants and Lean Theorem Prover projects using the Language Server Protocol, enabling agents to access diagnostics, goal s...
4 min read
Lean
LSP
+4