What tools does the numproof MCP server provide?

numproof exposes 4 tools: audit_rows, covenant_rules, diff_rows, verify_claim. This list was returned by the running server when we connected to it.

Does numproof require an API key?

No. numproof answered a tools/list request without credentials.

How do I install numproof?

Run: claude mcp add --transport http numproof https://numproof.com/mcp. One-click install links for Cursor and VS Code are also available on the server's page.

Connection check verified live · 27h ago

numproof

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

Code & repositories Data & analytics Web search & scraping

Install

Remote (HTTP)

claude mcp add --transport http numproof https://numproof.com/mcp

Tools 4

GitHub stars —

Installs / wk —

Licence —

Transport streamable-http, stdio

Last checked 27h ago

Tools & capabilities

4 tools

Read from the running server on 27h ago.

audit_rows rows*

Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.

covenant_rules rows*rulesrule_pack

Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.

diff_rows rows_after*rows_before*

Compare two report versions by numeric row labels with provenance.

verify_claim 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.