Independent verification for the numbers your AI says.
NumProof checks numeric and financial claims deterministically — VERIFY / REFUTE with cell-level provenance — and returns a signed receipt anyone can re-check offline. An agent can recompute a number itself; it can’t issue an attestation a second party trusts. Not an LLM judge.
Agent claim gate
Ready.
Spreadsheet audit demo
Runs through public MCP audit_rows, so the result is free and signed when signing is configured.
Ready.
Report diff demo
Runs through public MCP diff_rows and returns a signed changed/added/removed bundle.
Ready.
API surface
| Endpoint | Use |
|---|---|
| /verify | one claim, x402 or API key |
| /verify/batch | CI and agent batches |
| /verify/audit | signed paid audit bundle |
| /verify/diff | signed report version diff |
| /verify/covenants | signed covenant rule-pack checks |
| /sample/finance-covenants | public signed finance sample |
| /rule-packs | editable covenant starter templates |
| /audit/verify | public signature verification |
Read the API docs, compare plans, open the finance workflow, run paid samples, verify a signed bundle, inspect rule packs, request a finance pilot, get an API key, or top up credits for paid audit, diff, covenant, batch checks, and proof artifacts.
MCP tools
| Tool | Use |
|---|---|
| verify_claim | claim verdict and counterexample |
| audit_rows | signed spreadsheet audit |
| diff_rows | signed report version diff |
| covenant_rules | bounded rule-pack checks |
Hosted MCP descriptor points clients to /mcp.