{"x402Version": 2, "name": "NumProof \u2014 exact math/finance claim verifier", "description": "Deterministically proves a math/finance claim true or false with a machine-checkable certificate or counterexample. Catches confident AI/agent arithmetic & formula errors. ~1ms, exact.", "endpoints": [{"method": "POST", "path": "/verify", "input": {"claim": "string (natural language or formal, e.g. '120+90+340+15 == 566')"}, "price": {"amount": "5000", "asset": "USDC", "network": "base", "decimals": 6}, "x402": true}, {"method": "POST", "path": "/verify/audit", "input": {"rows": "2D array from local CSV/XLSX parsing"}, "price": {"credits": 5}, "x402": false, "signed_bundle": true}, {"method": "POST", "path": "/verify/diff", "input": {"rows_before": "2D array", "rows_after": "2D array"}, "price": {"credits": 5}, "x402": false, "signed_bundle": true}, {"method": "POST", "path": "/verify/covenants", "input": {"rows": "2D array", "rules": "threshold/covenant rule array", "rule_pack": "optional template id from /rule-packs"}, "price": {"credits": 5}, "x402": false, "signed_bundle": true}, {"method": "GET", "path": "/rule-packs", "input": {}, "price": {"amount": "0"}, "x402": false}, {"method": "POST", "path": "/audit/verify", "input": {"audit": "audit/diff/covenant bundle returned by /verify/audit, /verify/diff, /verify/covenants, MCP, or CLI"}, "price": {"amount": "0"}, "x402": false, "expected_signer": "0x9bbDf3b0D4C8c63580A5D55E671b00B0F99A268c"}, {"method": "POST", "path": "/verify/batch", "input": {"claims": "array of claim strings", "allow_llm": "optional bool, default false"}, "price": {"credits": "1 per decisive VERIFY/REFUTE"}, "x402": false}], "tags": ["verification", "math", "finance", "guardrails", "agents", "anti-hallucination"]}