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