MCP serverio.github.projecttron/numproof
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Overview
Score?
UNRATED 0.815
of what a free look can see, on 30 looks
Looks
35
last 16 hr ago
Tools
4
More info
URL
numproof.com/mcp
streamable-http
Says it is
NumProof 1.0.0
protocol 2024-11-05
In the record since
32 days ago
Among servers18,413 with a card
0median 0.606 · this server 0.815 · highest on record 0.8561
Toolsfrom sha256:10d1b0299c…b43839
| Tool | Schema |
|---|---|
| audit_rows Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance. |
input · no output |
| covenant_rules Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack. |
input · no output |
| diff_rows Compare two report versions by numeric row labels with provenance. |
input · no output |
| 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. |
input · no output |
Verify it yourself
npx teppi-check https://numproof.com/mcpcurl -s https://api.teppi.xyz/v1/trust/mcp/mcs_01M1FZ2MRPFQH0XSDNE43DEBZ2