Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Connect Remote server
claude mcp add --transport http numproof https://numproof.com/mcp
{
"mcpServers": {
"numproof": {
"url": "https://numproof.com/mcp"
}
}
}
{
"servers": {
"numproof": {
"type": "http",
"url": "https://numproof.com/mcp"
}
}
}
Settings > Connectors > Add custom connector
URL: https://numproof.com/mcp
Tools 4 found in our last check
verify_claimExactly 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_rowsAudit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.
diff_rowsCompare two report versions by numeric row labels with provenance.
covenant_rulesEvaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.
Details
| Endpoint | https://numproof.com/mcp (Streamable HTTP) |
| Package | [email protected] (PYPI, stdio) |
| First published | 26 Jun 2026 |
| Last updated | 26 Jun 2026 |
| Registry name | io.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.
