NestDaddy

NumProof

io.github.projecttron/numproof ยท v0.1.1

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

Connect Remote server

Terminal
claude mcp add --transport http numproof https://numproof.com/mcp
~/.cursor/mcp.json
{
  "mcpServers": {
    "numproof": {
      "url": "https://numproof.com/mcp"
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "numproof": {
      "type": "http",
      "url": "https://numproof.com/mcp"
    }
  }
}
Claude Desktop
Settings > Connectors > Add custom connector
URL: https://numproof.com/mcp

Tools 4 found in our last check

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

Details

Endpointhttps://numproof.com/mcp (Streamable HTTP)
Package[email protected] (PYPI, stdio)
First published26 Jun 2026
Last updated26 Jun 2026
Registry nameio.github.projecttron/numproof

More finance and crypto servers See all

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.