prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Community: Submitted by a user or imported; check the owner before granting accessOnlineNo sign-inGlobalFreeRead-only
What it can do
What data it sees
Do you need an account
No: the server works without sign-in
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Tools not fetched yet: the server requires sign-in; the list appears after a manual check.