Axiomatic Prover
Rank #51741pulsemcp/prover
Lean 4 theorem prover that compiles proofs and formalizes mathematics with Mathlib integration.
Axiomatic Prover is a Model Context Protocol (MCP) server published by axiomatic-ai. It ranks #51741 of 58,832 servers tracked on MCP Toplist. Axiomatic Prover is listed on PulseMCP, and ships as a single rolling release with no explicit version metadata. It was first listed on Feb 23, 2026.
Ranks ahead of 7,091 of 58,832 servers on MCP Toplist.
Use Axiomatic Prover
Add Axiomatic Prover to any MCP client (Claude, Cursor, VS Code, …) with one of the configs below.
{
"mcpServers": {
"prover": {
"url": "https://prover.axiomatic-ai.com/mcp/"
}
}
}Listed on 1 registry
axiomatic-ai
Other servers by axiomatic-ai
View all axiomatic-ai servers →Not versioned
This server is published through a registry that does not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- What is Axiomatic Prover?
- Lean 4 theorem prover that compiles proofs and formalizes mathematics with Mathlib integration.
- Who maintains Axiomatic Prover?
- Axiomatic Prover is maintained by axiomatic-ai, which publishes 2 MCP servers (0 total versions) tracked on MCP Toplist.
- Is Axiomatic Prover an official MCP server?
- Axiomatic Prover is not on the Official MCP Registry. It is listed on PulseMCP.
- How many versions does Axiomatic Prover have?
- Axiomatic Prover ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for Axiomatic Prover?
- The source code for Axiomatic Prover is hosted at github.com/axiomatic-ai/ax-prover-base-mcp.