io.github.projecttron/numproof

up checked 2026-11-11T07:39:52.216Z

Unclaimed · Unverified

Publisher-provided title

NumProof

Publisher-provided description

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

Summary by lookupd

Verifies numeric and financial claims, audits spreadsheet rows for footing and ties, evaluates covenant thresholds, and diffs report…

Install

Claude Code, remote (streamable-http)

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

Claude Code, pypi package (stdio)

claude mcp add numproof -- uvx numproof

Codex, remote (streamable-http)

codex mcp add numproof --url https://numproof.com/mcp

Codex, pypi package (stdio)

codex mcp add numproof -- uvx numproof

Cursor, remote (streamable-http) → .cursor/mcp.json

{
  "mcpServers": {
    "numproof": {
      "url": "https://numproof.com/mcp"
    }
  }
}

Cursor, pypi package (stdio) → .cursor/mcp.json

{
  "mcpServers": {
    "numproof": {
      "command": "uvx",
      "args": [
        "numproof"
      ]
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Publisher-provided text

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 fo
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.

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/io.github.projecttron/numproof.svg)](https://lookupd.com/servers/io.github.projecttron/numproof)