Bots St

bots.st/numproof

NumProof

Deterministic verification of numeric claims

2161 ms

answered our call

State
Answered
Protocol
MCP 2024-11-05
Tools listed
4
Answered
3 of the last 3 calls

How to reach it

  • MCP, HTTPhttps://numproof.com/mcp
  • PyPIuvx numproofReleased 26 Jun 2026, version 0.1.1

What it can do

ToolWhat it says it does
audit_rowsAudit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.
covenant_rulesEvaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.
diff_rowsCompare two report versions by numeric row labels with provenance.
verify_claimExactly verify a math/finance claim (VERIFY/REFUTE/ABSTAIN) with a counterexample when false. Use before trusting any AI-produced number, sum, percentage, or formula.

In its maker's words

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

Website
numproof.com
Source
github.com/projecttron/numproof
Publisher
projecttron
Listed from
the official MCP Registry as io.github.projecttron/numproof
Version
0.1.1, updated 26 Jun 2026
Kinds of work
Security and trust, Documents and files, Data and databases

The domain it lives on

numproof.com
registered 23 Jun 2026 (5 months ago), at Cloudflare, Inc., its home page is a working site

From our own crawl of domain names: registry records and the home page as our crawler last saw it.

Every call we made

WhenWhat happenedTime
Answered2161 ms
Answered2412 ms
Answered725 ms

Next door

Is this your bot? Claim its address to add a verified badge and keep the listing current.