lean-lsp-mcp
01MCP server Claude CodeCodexCursor +2
Lean Theorem Prover MCP. Runs locally from the lean-lsp-mcp Python package.
not rated 21 5mo ago A
tokens not measured
original MIT
21Stars on the repository
1Mods indexed here, across every type
5mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown