NumProof MCP Server

by projecttron Your server? Claim it

answering

NumProof is answering right now. Last checked 8 min ago. 50 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 17 · avg 7 · -7% w/w

a month agotoday

Uptime history 47 days of history

47 days agonow

100.0%

Uptime 24h

91 of 91 checks

Tools

read from the server

99 ms

Response time

average over 24h

Installs / week

npm and PyPI

Nothing serious here today

Today is the operative word: we check NumProof every 15 minutes and re-read its code on every release. Watch it and you find out the day that stops being true.

Connect this server

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

Claude Code Claude Desktop Codex Cursor VS Code

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

URL	Transport	State	Latency	Checked
https://numproof.com/mcp	streamable-http	answering	129 ms	8 min ago

Alternatives to NumProof

same job, measured the same way

LogiSheets

by logisky

An Excel-compatible spreadsheet engine for agents: deterministic formulas, block memory, real .xlsx.

58 installs/wk local only

Sheetspec

by helloo1568

Contract testing and quality gates for spreadsheets created by AI agents.

50 installs/wk local only

Spreadsheet DB

by manddarinshop

SQLite-authoritative entity database with an async Google Sheets projection for AI agents.

37 installs/wk local only

Agent Spreadsheet MCP

by psu3d0

Agent-safe Excel workbook analysis, editing, recalc, and verification tools.

local only

Layerz

by layerzlabs

Structured financial modeling for AI agents: build, version, audit models, export to Excel.

answering

spreadsheet-kit MCP

by psu3d0

Agent-safe Excel workbook analysis, editing, recalc, and verification tools.

local only

Mila

by mila-gg

Create and manage documents, spreadsheets, and presentations from your AI assistant.

23 tools answering

Etld MCP Server

by pablixnieto2

Deterministic B2B Data Middleware. Waterfall parsing for CSV, EDI, SEC & Finance. No hallucinations.

24 installs/wk local only

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 99 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 99 ms on average, which is faster than 83% 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 50 times in the last week. Week over week that is -7%. 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.