NumProof
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Community: Submitted by a user or imported; check the owner before granting accessOnlineNo sign-inGlobalFreeRead-only
What it can do
What data it sees
Do you need an account
No: the server works without sign-in
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Server tool list (4)
Raw names from tools/list. Only developers need these.
| 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. |
| audit_rows | Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance. |
| diff_rows | Compare two report versions by numeric row labels with provenance. |
| covenant_rules | Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack. |