NumProof

io.github.projecttron/numproof

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

healthy

status

tools exposed

356ms

connect latency

4052b6813f54

schema fingerprint

Tools (4)

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.

Endpoint

https://numproof.com/mcp
Category: Other · Last checked: 2026-07-30T13:59:17Z

Monitor your own MCP server

Get alerted the moment yours goes down, a tool schema drifts, or an upstream silently breaks.

Get early access

How we measure →

What this means. This server responded to the MCP handshake and listed its tools without authentication. The schema fingerprint lets us flag if tool signatures silently change (schema drift) between checks.