{"name": "NumProof", "version": "0.2.0", "description": "Deterministic numeric truth layer: claim verification, signed spreadsheet audits, covenant checks, and signed report-version diffs.", "tools": [{"name": "verify_claim", "description": "Prove a math/finance claim true or false deterministically. Returns verdict (VERIFY/REFUTE/ABSTAIN), certificate, and a counterexample when false. Use to check any numeric/formula claim before trusting an LLM's arithmetic.", "inputSchema": {"type": "object", "properties": {"claim": {"type": "string", "description": "claim text, e.g. '(R-C)/R == 1 - C/R'"}}, "required": ["claim"]}}, {"name": "audit_rows", "description": "Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell-level provenance.", "inputSchema": {"type": "object", "properties": {"rows": {"type": "array", "description": "2D row array, e.g. [[label,value], ...]"}}, "required": ["rows"]}}, {"name": "diff_rows", "description": "Compare two report versions by numeric row labels and return a signed diff bundle.", "inputSchema": {"type": "object", "properties": {"rows_before": {"type": "array"}, "rows_after": {"type": "array"}}, "required": ["rows_before", "rows_after"]}}, {"name": "covenant_rules", "description": "Evaluate deterministic threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.", "inputSchema": {"type": "object", "properties": {"rows": {"type": "array"}, "rules": {"type": "array"}, "rule_pack": {"type": "string"}}, "required": ["rows"]}}], "endpoint": "/mcp", "transport": "streamable-http"}