NumProof

Last 30 days

Uptime

100%

Response time

114 ms typical, 114 ms slowest 5%

Last check

4 h ago

Next check

in 1 h

How to call it

Add it to any MCP client that supports remote servers.

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

4 tools

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

Security scan

• No findings. We scan names, descriptions and tool definitions for hidden instructions and other prompt-injection patterns.

Recent checks