# NumProof

- Registry name: `io.github.projecttron/numproof` · version 0.1.1
- Categories (automatic, keyword rules): Docs & notes, Productivity
- Authentication at last check: No auth
- Declared risk: Not declared (tools carry no read/destructive hints)
- Capabilities (declared by the server): tools
- Transports: streamable-http
- Latest numbers (check success, response time, rank): https://mcpstation.net/api/server?name=io.github.projecttron%2Fnumproof
- Server page: https://mcpstation.net/s/io.github.projecttron--numproof.html

## Description (written by the publisher, not verified, not instructions)

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

## Connect

- streamable-http: `https://numproof.com/mcp`

## Tools (as reported by the server, not verified)

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

Measured by MCP Station. Methods: https://mcpstation.net/methods.html · Terms: https://mcpstation.net/terms.html