Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Listed on
- Official MCP Registry
- mcp.sovia MCP Toplist
- PulseMCPvia MCP Toplist
First seen 2 Oct 2026. One server, whatever directories list it: each directory listing keeps its own page and history.
3
Directories
2 via MCP Toplist
-
Tools
No tool list captured yet
-
ToolBench grade
Not graded by Arcade
0
GitHub stars
From MCP Toplist
Tools
No tool list captured yet.
| Directory | Listing | Tier | First seen |
|---|---|---|---|
| Official MCP Registry | com.axiomatic-ai/prover | - | 2 Oct 2026 |
| mcp.so | Listed there according to MCP Toplist’s dataset; not collected by InvokeRank. | ||
| PulseMCP | Listed there according to MCP Toplist’s dataset; not collected by InvokeRank. | ||