NumProof
io.github.projecttron/numproof
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
This endpoint completed initialize and tools/list. No tool was called.
- Rank
- #592
- Score
- 83
- Tool tokens
- 238
- Tools
- 4
Tools
Token cost is the o200k count of the tools list JSON, including schemas, before any tool is called.
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.
Nearby in GitHub
Up-to-date code docs for any prompt
MCP server for Financial Modeling Prep API with 250+ financial data tools
Official SerpApi MCP server for Google, Bing, and other search engines.
Comprehensive PostgreSQL documentation and best practices, including ecosystem tools