io.github.projecttron/numproof

NumProof

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

Endpointhttps://numproof.com/mcp (streamable-http)
Registry version0.1.1
Now4 tools · grade D (53) · pin ts_981ad513617f4d319ffe951245026d40 · protocol 2024-11-05
First / last listed2026-11-01 02:45 UTC / 2026-11-01 02:45 UTC
Grade over time2026-11-01: D (53), 4 tools

Is this your server? Own a server? ToolFit hosted watch re-checks it every 24 h ($0.25 per 30 days) or 6 h ($0.60) and sends you an HMAC-signed webhook when its tools or grade change: POST https://api.youraitools.co/toolfit/v1/watch. To opt out, see About & opt-out.

Timeline

First listing · 2026-11-01 02:45 UTC
4 tools, grade D (53)

Tools: verify_claim audit_rows diff_rows covenant_rules

Current tools (4)

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.
params: claim*
audit_rowsAudit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.
params: rows*
diff_rowsCompare two report versions by numeric row labels with provenance.
params: rows_before*, rows_after*
covenant_rulesEvaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.
params: rows*, rules, rule_pack

Entries describe changes in tool definitions. They are not statements about a server, its quality or its author. The grade measures how the tool definitions fit model providers (token cost, schema compatibility, confusable names) as scored by the ToolFit engine at the time of the listing. JSON: append .json. Opt-out: how or hello@youraitools.co.