All servers · Docs & notes
NumProof
io.github.projecttron/numproof · v0.1.1
No registry update 90+ days
Measured by MCP Station
| Last check | Reachable |
|---|---|
| Checked at | — |
| Check success 7 / 30 days | — |
| First-try success 30 days | — |
| Median response | — |
| Lookups 30 days | — |
| Authentication | No auth |
| MCP version | 2024-11-05 |
| Rank score | — |
| Declared risk | Not declared (tools carry no read/destructive hints) |
| Capabilities declared | tools |
| Tool definitions | 4 tools · with description 100% · input schema is an object 100% · read/destructive hints 0% |
Description written by the publisher, not verified
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Connect
streamable-http · https://numproof.com/mcp
claude mcp add --transport http numproof https://numproof.com/mcp{
"mcpServers": {
"numproof": {
"url": "https://numproof.com/mcp"
}
}
}Tools as reported by the server
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.audit_rowsAudit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.diff_rowsCompare two report versions by numeric row labels with provenance.covenant_rulesEvaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.
Repository · Website · JSON · Text for agents · Registry updated 2026-06-26