io.github.projecttron/numproof

NumProof

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

0.1.1
Version
remote + pypi
Transport
4
Tools

Security review

Review passed

Reviewed 1h ago.

  • tools: 4 tools scanned
  • metadata: scanned
  • packages: 1 checked

No findings.

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.