All servers · Other
com.axiomatic-ai/prover
com.axiomatic-ai/prover · v0.1.0
No registry update 90+ days
Measured by MCP Station
| Last check | Reachable |
|---|---|
| Checked at | — |
| Check success 7 / 30 days | — |
| First-try success 30 days | — |
| Median response | — |
| Lookups 30 days | — |
| Authentication | OAuth |
| MCP version | — |
| Rank score | — |
| Declared risk | Unknown (tools not visible) |
| Capabilities declared | — |
| Tool definitions | Not visible (tools were not listed) |
Description written by the publisher, not verified
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Connect
streamable-http · https://prover.axiomatic-ai.com/mcp/
claude mcp add --transport http prover https://prover.axiomatic-ai.com/mcp/{
"mcpServers": {
"prover": {
"url": "https://prover.axiomatic-ai.com/mcp/"
}
}
}Tools
Not listed: the server requires authentication or payment, and we never log in or pay.
Repository · JSON · Text for agents · Registry updated 2026-02-23