← Back to the index
Quiet · Remote · hosted
prover →
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
Quiet · no update in months
Last registry update 6mo ago · published Feb 23, 2026.
Registry position over time
Where prover sits in the freshest-first index, tracked daily — held position since the prior run. position over the last 74 days tracked · best: #1601.
Current position#2018
Best position#1601
Since prior run→
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 751 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 752
MarketgeniusRemotedeerdawnRemoteMasterminds HQRemotekorea-realtyRemotePentaTrail CTEMRemotetiktok-ads-mcpRemoteAdoteca — Adoção de Pets no BrasilRemoteAltoviz MCP ServerRemote
Browse all 751 in Other →