mcpbeat

NumProof MCP Server

io.github.projecttron/numproof
answering

NumProof is answering right now. Last checked 15 min ago. 46 installs a week from pypi. It exposes 4 tools. Last commit 26 Jun 2026.

Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.

Installs per day peak 38 · avg 14 · -60% w/w
a month agotoday
Uptime history 39 hours of history
39 hours agonow
100.0%
Uptime 24h
91 of 91 checks
4
Tools
read from the server
142 ms
Response time
average over 24h
46
Installs / week
npm and PyPI

Connect this server

Endpoint below is the one we actually reach during checks — not the one copied from a README. Last verified 15 min ago.

run in your terminal
claude mcp add numproof --transport http https://numproof.com/mcp
~/Library/Application Support/Claude/claude_desktop_config.json
{
  "mcpServers": {
    "numproof": {
      "url": "https://numproof.com/mcp"
    }
  }
}
~/.codex/config.toml
[mcp_servers.numproof]
url = "https://numproof.com/mcp"
.cursor/mcp.json
{
  "mcpServers": {
    "numproof": {
      "url": "https://numproof.com/mcp"
    }
  }
}
.vscode/mcp.json
{
  "mcpServers": {
    "numproof": {
      "url": "https://numproof.com/mcp"
    }
  }
}

Available tools 4

Read directly from the server with tools/list, grouped by what they act on. If a tool disappears, we record the date.

audit
audit_rows
Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.
covenant
covenant_rules
Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.
diff
diff_rows
Compare two report versions by numeric row labels with provenance.
verify
verify_claim
Exactly verify a math/finance claim (VERIFY/REFUTE/ABSTAIN) with a counterexample when false. Use before trusting any AI-produced number, sum, percentage, or formula.

Endpoints

URLTransportStateLatencyChecked
https://numproof.com/mcp streamable-http answering 158 ms 15 min ago

NumProof — questions

Answers built from our own checks of this server.

What can NumProof do?
It exposes 4 tools, read directly from the server on our last check. Among them: audit_rows, covenant_rules, diff_rows, verify_claim. The full list with descriptions is on this page — we take it from the server itself via tools/list, not from a README. How MCP servers expose tools in the first place →
Is NumProof working right now?
We send a real MCP handshake every 15 minutes. Over the last 24 hours 91 of 91 checks got a reply (100.0%), average response time 142 ms. The bar chart above shows every period we have measured.
How do I connect NumProof?
Copy the ready config from this page — we generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each with the file path that client actually reads. It is a remote server, so there is nothing to install — the client connects to the address.
Does NumProof need an API key?
No. NumProof completed a full MCP handshake with us as an anonymous client and listed its tools without asking for anything. All 4 of them are readable on this page. This is what we observed, not what the docs claim.
How fast is NumProof?
It answers our handshake in 142 ms on average, which is faster than 75% of all working MCP servers we measure. That puts it in the quick quarter of the ecosystem. The comparison comes from our own checks across the whole registry, every 15 minutes.
How many people use NumProof?
The pypi package numproof was installed 46 times in the last week. Week over week that is -60%. We show installs rather than GitHub stars on purpose: a star is a bookmark, an install is someone actually running it.
Is NumProof open source?
Yes — it is published under the MIT licence, written in Python and 0 stars on GitHub. The source link is on this page, so you can read exactly what it does with your data before you connect it.