com.axiomatic-ai/prover
com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
timeout probed 2026-10-14
fetch failed | Connect Timeout Error (attempted address: prover.axiomatic-ai.com:443, timeout: 10000ms) | UND_ERR_CONNECT_TIMEOUT
- Endpoint
- https://prover.axiomatic-ai.com/mcp/ (streamable-http)
- Host
- prover.axiomatic-ai.com
- Repository
- https://github.com/Axiomatic-AI/ax-prover-base-mcp
- Registry
- active, updated 2026-02-23 · registry entry
- Reachable
- 5 of the last 5 probes
History
We add a row when the result changes. A server with no change keeps its last row.
| Probed | Result | Init | Tools | Claude | o200k |
|---|---|---|---|---|---|
| 2026-10-05 00:11 | needs auth | ||||
| 2026-10-04 09:54 | needs auth | ||||
| 2026-10-04 07:48 | needs auth | ||||
| 2026-10-03 20:28 | needs auth | ||||
| 2026-10-03 17:47 | needs auth |
Badge and feed
[](https://mcpcost.ulehla.dev/s/com.axiomatic-ai/prover)
An entry for every probe that changed the result, the tool count or the token cost: Atom feed. Add it to a feed reader or a Slack RSS app to hear when the server stops answering or its tool set grows.