com.axiomatic-ai/prover
com.axiomatic-ai/prover · v0.1.0
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Reachability
auth required
checked 2026-07-14 03:08 UTC
Registry status active
Provenance
Registry namespace com.axiomatic-ai
(domain verified by the official registry)
Repository
github.com/axiomatic-ai/ax-prover-base-mcp
Remote endpoints
https://prover.axiomatic-ai.com/mcp/ (streamable-http)
Status badge
[](https://toolpin.dev/servers/com.axiomatic-ai/prover)
Maintain this server? Add the badge to your README — it links your users to this live status page.