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
Lean
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...