Official MCP RegistryListed
NumProof
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
First seen 2 Oct 2026. Evidence as of 9 Oct 2026.
4
Tools
From an anonymous probe
1
Source listings
Each with its own history
0
Recorded changes
Since first seen
Tools
| Tool | Description | Behaviour |
|---|---|---|
| audit_rows | Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance. | Not declared |
| covenant_rules | Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack. | Not declared |
| diff_rows | Compare two report versions by numeric row labels with provenance. | Not declared |
| 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. | Not declared |
Change history
No changes since the first observation. The first snapshot is the baseline.
| Source | Listing | First seen | Last seen | Versions |
|---|---|---|---|---|
| Official MCP Registry | io.github.projecttron/numproof | 2 Oct 2026 | 9 Oct 2026 | 1 |