NumProof
io.github.projecttron/numproof · v0.1.1 · MCP 2024-11-05
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Reachability
reachable
checked 2026-07-14 03:44 UTC
Registry status active
Tools pinned 4
e07f0a5b7e50
Tools last changed
unchanged since first capture 2026-07-14
Provenance
Registry namespace io.github.projecttron
(GitHub-account verified by the official registry)
Repository
github.com/projecttron/numproof
Website
https://numproof.com
Remote endpoints
https://numproof.com/mcp (streamable-http)
Observed changes
| When (UTC) | Event | Detail |
|---|---|---|
| 2026-07-14 03:44 | first capture | 4 tools pinned |
Pinned tool definitions (4)
| Tool | Description |
|---|---|
| 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. |
Status badge
[](https://toolpin.dev/servers/io.github.projecttron/numproof)
Maintain this server? Add the badge to your README — it links your users to this live status page.