Skip to content

NumProof

by projecttron · remote · local (pypi) · no sign-in to list tools · v0.1.1 · published by GitHub user projecttron

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

Changes · 3
CompareRegistry entry

4 tools: 3 change things and 1 only read.

Scanned Oct 21, 2026

No check matched anything in the tool definitions. No finding is not a safety guarantee. How the checks work.

claude mcp add --transport http numproof https://numproof.com/mcp

Tools

Open a tool for its reasons and full description. Descriptions are the publisher's own words, shown as they are.

4 tools

Changes things 3Claude Code: ask
  • audit_rowsAudit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.No findings

    Why it is in this group

    • Nothing in its name or description says what it does, so it is counted as a write.
    Description, as the server wrote it
    Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.
  • covenant_rulesEvaluate threshold/covenant rules over spreadsheet-like rows with provenance.No findings

    Why it is in this group

    • The description's first verb is "evaluate": a word for a change.
    Description, as the server wrote it
    Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.
  • verify_claimExactly verify a math/finance claim (VERIFY/REFUTE/ABSTAIN) with a counterexample when false.No findings

    Why it is in this group

    • Nothing in its name or description says what it does, so it is counted as a write.
    Description, as the server wrote it
    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.
Only reads 1Claude Code: allow
  • diff_rowsCompare two report versions by numeric row labels with provenance.No findings

    Why it is in this group

    • The name "diff_rows" says "diff": a word for reading.
    Description, as the server wrote it
    Compare two report versions by numeric row labels with provenance.

This is not a safety rating, and no finding is not a safety guarantee. The groups and findings come from fixed checks of the tool definitions the server returned on the date shown, not from its code or what it does when called. How the checks work.

Install

Pinned to version 0.1.1. Values in angle brackets are yours to fill in.

claude mcp add --transport http numproof https://numproof.com/mcp

Run in a terminal.

Claude Code permissions

Allow the reads, ask before a change, deny the deletes. Paste into .claude/settings.json.

.claude/settings.json
{
  "permissions": {
    "allow": [
      "mcp__numproof__diff_rows"
    ],
    "ask": [
      "mcp__numproof__verify_claim",
      "mcp__numproof__audit_rows",
      "mcp__numproof__covenant_rules"
    ],
    "deny": []
  }
}

Tools that only read are allowed, tools that change things ask first, tools that delete or cancel are denied. It assumes the server is installed as numproof. Review it before you use it.