SERVER
Prover
Rank #31606mcp.so/axprover/Axiomatic-AI
MCP server providing prover capabilities
First listed
Feb 23, 2026
Last publish date
Feb 23, 2026
OVERVIEW
Prover is a Model Context Protocol (MCP) server published by Axiomatic-AI. It ranks #31606 of 58,900 servers tracked on MCP Toplist. Prover is listed across 2 registries — Official MCP and mcp.so, with 1 tracked version. It was first listed on Feb 23, 2026 and most recently updated on Feb 23, 2026.
STANDING
#31,606of 58,900 tracked servers
Ranks ahead of 27,294 of 58,900 servers on MCP Toplist.
CONNECT
Use Prover
Add Prover to any MCP client (Claude, Cursor, VS Code, …) with one of the configs below.
Remote · HTTP
{
"mcpServers": {
"axiomatic-ai": {
"url": "https://prover.axiomatic-ai.com/mcp/"
}
}
}REGISTRIES
Listed on 2 registries
ORGANIZATION
Axiomatic-AI
MORE FROM THIS PUBLISHER
Other servers by Axiomatic-AI
View all Axiomatic-AI servers →VERSIONS
Available versions (1)
| Version | Published |
|---|---|
| 0.1.0 | Feb 23, 2026 |
FAQ
Frequently asked questions
- What is Prover?
- MCP server providing prover capabilities
- Who maintains Prover?
- Prover is maintained by Axiomatic-AI, which publishes 2 MCP servers (1 total version) tracked on MCP Toplist.
- Is Prover an official MCP server?
- Yes — Prover is listed on the Official MCP Registry, alongside mcp.so.
- How many versions does Prover have?
- MCP Toplist tracks 1 version of Prover, most recently published on Feb 23, 2026.
- Where can I find the source code for Prover?
- The source code for Prover is hosted at github.com/Axiomatic-AI/ax-prover-base-mcp.
EXPLORE