Proof MCP
Rank #41,449io.github.ToremLabs/proof
Govern your AI coding agent: frame the work, review the changes, keep a signed decision record.
Proof MCP is a Model Context Protocol (MCP) server published by ToremLabs. It ranks #41,449 of 132,113 servers tracked on MCP Toplist. Proof MCP is listed across 2 registries — Official MCP and Glama, with 1 tracked version. It was first listed on Jul 28, 2026 and most recently updated on Jul 28, 2026.
Ranks ahead of 90,664 of 132,113 servers on MCP Toplist.
Use Proof MCP
No credentials or required configuration declared — add it to your MCP client and go.
claude mcp add proof -- npx -y @toremlabs/proof-mcp[mcp_servers.proof]
command = "npx"
args = ["-y", "@toremlabs/proof-mcp"]Add to ~/.codex/config.toml.
{
"mcpServers": {
"proof": {
"command": "npx",
"args": [
"-y",
"@toremlabs/proof-mcp"
]
}
}
}Add to claude_desktop_config.json (Settings → Developer → Edit Config).
{
"mcpServers": {
"proof": {
"command": "npx",
"args": [
"-y",
"@toremlabs/proof-mcp"
]
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project).
{
"servers": {
"proof": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@toremlabs/proof-mcp"
]
}
}
}Save as .vscode/mcp.json in your workspace.
{
"mcpServers": {
"proof": {
"command": "npx",
"args": [
"-y",
"@toremlabs/proof-mcp"
]
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
{
"mcpServers": {
"proof": {
"command": "npx",
"args": [
"-y",
"@toremlabs/proof-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/io.github.ToremLabs%2Fproof)<a href="https://mcptoplist.com/server/io.github.ToremLabs%2Fproof"><img src="https://mcptoplist.com/badge/io.github.ToremLabs%2Fproof.svg" alt="MCP Toplist: Top 50% of 132,113" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 2 registries
ToremLabs
Other servers by ToremLabs
View all ToremLabs servers →Available versions (1)
| Version | Published |
|---|---|
| 1.0.0 | Jul 28, 2026 |
Frequently asked questions
- Who maintains Proof MCP?
- Proof MCP is maintained by ToremLabs, which publishes 2 MCP servers (2 total versions) tracked on MCP Toplist.
- Is Proof MCP listed on the Official MCP Registry?
- Yes — Proof MCP is listed on the Official MCP Registry, alongside Glama.
- How many versions does Proof MCP have?
- MCP Toplist tracks 1 version of Proof MCP, most recently published on Jul 28, 2026.
- Where can I find the source code for Proof MCP?
- The source code for Proof MCP is hosted at github.com/ToremLabs/proof-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.