← Back to the index
Maintained · Remote · hosted
prover ▲ 20
com.axiomatic-ai/prover copy
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Install & connect
Connect · hostedremote
https://<server-endpoint>A hosted server — point your client at its remote endpoint (HTTP/SSE).
Freshness
Maintained · updated this quarter
Last registry update 4mo ago · published Feb 23, 2026.
Registry position over time
Where prover sits in the freshest-first index, tracked daily — climbed 20 places since the prior run. position over the last 20 days tracked · best: #1601.
Current position#1739
Best position#1601
Since prior run▲ 20
About this server
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Hosted — runs on the provider's infrastructure; connect over HTTP/SSE. Indexed under Other, alongside 726 other servers. Health is freshness-derived from the registry's last-update timestamp; this index does not run the server, so capabilities and tool lists live in the source repository.
More in Other 727
oracleRemoteSocial Media Intelligence MCPRemoteNews Volume Trends MCPRemoteNews Sentiment Trends MCPRemoteApp Store Trends MCPRemotenpm Trends MCPRemoteSteam Trends MCPRemoteSpotify Trends MCPRemote
Browse all 726 in Other →