lean-lsp
01MCP server Claude CodeCodexCursor +2
Lean Theorem Prover MCP. Runs locally from the lean-lsp-mcp Python package.
not rated 45
+1 yesterday A
tokens not measured
original Apache-2.0
MCP server Claude CodeCodexCursor +2
Lean Theorem Prover MCP. Runs locally from the lean-lsp-mcp Python package.