io.github.projecttron/numproof

pkg:pypi:numproof

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

transport:: remote + stdio
credential class:: self-provisionable
repo:: https://github.com/projecttron/numproof

Owner verification

Not yet verified. Verifying proves you control this server and is free, permanently — it never changes a published score.

Start verification →

Tools

audit_rows
Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.
shallow
covenant_rules
Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.
shallow
diff_rows
Compare two report versions by numeric row labels with provenance.
shallow
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.
shallow

Embed this server’s score

Tool count and median score across every tool in this server’s corpus — honest in a way a single cherry-picked tool’s badge wouldn’t be.

[![Vouch score](https://vouch.tools/api/servers/980d813b-3e66-40e1-97bc-8a9dd13a8565/badge.svg)](https://vouch.tools/servers/980d813b-3e66-40e1-97bc-8a9dd13a8565)