lean-mcp
01MCP server Claude CodeCodexCursor +2
MCP server and client for Lean 4 + Mathlib formal verification. Runs locally from the lean-mcp Python package. Needs 1 environment variable to run.
not rated 1 8mo ago A
tokens not measured
original MIT