Prover
Rank #58,023com.axiomatic-ai/prover
MCP server providing prover capabilities
Prover is a Model Context Protocol (MCP) server published by axiomatic-ai. It ranks #58,023 of 132,405 servers tracked on MCP Toplist. Prover is listed across 3 registries — Official MCP, PulseMCP and mcp.so, with 1 tracked version. It was first listed on Feb 23, 2026 and most recently updated on Feb 23, 2026.
Ranks ahead of 74,382 of 132,405 servers on MCP Toplist.
Use Prover
No credentials or required configuration declared — add it to your MCP client and go.
claude mcp add --transport http prover https://prover.axiomatic-ai.com/mcp/[mcp_servers.prover]
url = "https://prover.axiomatic-ai.com/mcp/"Add to ~/.codex/config.toml.
https://prover.axiomatic-ai.com/mcp/Settings → Connectors → “Add custom connector”, then paste this URL.
{
"mcpServers": {
"prover": {
"url": "https://prover.axiomatic-ai.com/mcp/"
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project).
{
"servers": {
"prover": {
"type": "http",
"url": "https://prover.axiomatic-ai.com/mcp/"
}
}
}Save as .vscode/mcp.json in your workspace.
{
"mcpServers": {
"prover": {
"serverUrl": "https://prover.axiomatic-ai.com/mcp/"
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
{
"mcpServers": {
"prover": {
"url": "https://prover.axiomatic-ai.com/mcp/"
}
}
}Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/com.axiomatic-ai%2Fprover)<a href="https://mcptoplist.com/server/com.axiomatic-ai%2Fprover"><img src="https://mcptoplist.com/badge/com.axiomatic-ai%2Fprover.svg" alt="MCP Toplist: Top 50% of 132,405" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 3 registries
axiomatic-ai
Other servers by axiomatic-ai
View all axiomatic-ai servers →Available versions (1)
| Version | Published |
|---|---|
| 0.1.0 | Feb 23, 2026 |
Frequently asked questions
- Who maintains Prover?
- Prover is maintained by axiomatic-ai, which publishes 2 MCP servers (10 total versions) tracked on MCP Toplist.
- Is Prover listed on the Official MCP Registry?
- Yes — Prover is listed on the Official MCP Registry, alongside PulseMCP and 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.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.