com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
as observed 2026-08-28T22:54:37.551ZWant to know when this changes? Sign in with an email address and we will tell you. Free, no card, watch up to 5.
- Identifier
com.axiomatic-ai/prover- Source
- Official MCP Registry
- Version observed
- 0.1.0
- Source repository
- https://github.com/Axiomatic-AI/ax-prover-base-mcp
- Repository observation
- No commits to the default branch in over 90 days
- First observed here
- 2026-08-28T22:54:37.551Z
- Observations recorded
- 1
Observation history
One observation recorded so far. Differences appear here once a second observation differs from the first.
Correction
If you maintain this extension and believe anything above is inaccurate, request a correction. Corrections are published, and disputed entries are marked as disputed while under review.