# NumProof MCP server

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

## Links
- Registry page: https://www.getdrio.com/mcp/io-github-projecttron-numproof
- Repository: https://github.com/projecttron/numproof
- Website: https://numproof.com

## Install
- Command: `uvx numproof`
- Endpoint: https://numproof.com/mcp
- Auth: Not captured

## Setup notes
- Package: Pypi numproof v0.1.1
- Remote endpoint: https://numproof.com/mcp

## 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. Endpoint: https://numproof.com/mcp
- audit_rows - Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance. Endpoint: https://numproof.com/mcp
- diff_rows - Compare two report versions by numeric row labels with provenance. Endpoint: https://numproof.com/mcp
- covenant_rules - Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack. Endpoint: https://numproof.com/mcp

## Resources
Not captured

## Prompts
Not captured

## Metadata
- Owner: io.github.projecttron
- Version: 0.1.1
- Runtime: Pypi
- Transports: STDIO, HTTP
- License: Not captured
- Language: Not captured
- Stars: Not captured
- Updated: Jun 26, 2026
- Source: https://registry.modelcontextprotocol.io