NumProof
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Should I use this
Quality & Safety
Findings (1)
- LOWTool 'diff_rows' description lacks action verbin diff_rows
Based on automated analysis of tool definitions and protocol compliance.
Context Cost
This is the approximate number of tokens consumed each time the server's tools are loaded into a model's context. Higher counts reduce the attention available for other tasks.
Install
One-Click Install
Add this to your `claude_desktop_config.json` file:
{
"mcpServers": {
"numproof": {
"command": "uvx",
"args": [
"numproof"
]
}
}
}Runnable packages
0.1.1stdioRemote endpoints
https://numproof.com/mcpstreamable-httpWhat it can do
Tool inventory
Tools (4)
⚪verify_claim(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.
Input Schema
{
"type": "object",
"properties": {
"claim": {
"type": "string"
}
},
"required": [
"claim"
]
}⚪audit_rows(rows)
Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.
Input Schema
{
"type": "object",
"properties": {
"rows": {
"type": "array"
}
},
"required": [
"rows"
]
}⚪diff_rows(rows_before, rows_after)
Compare two report versions by numeric row labels with provenance.
Input Schema
{
"type": "object",
"properties": {
"rows_before": {
"type": "array"
},
"rows_after": {
"type": "array"
}
},
"required": [
"rows_before",
"rows_after"
]
}⚪covenant_rules(rows, rules, rule_pack)
Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.
Input Schema
{
"type": "object",
"properties": {
"rows": {
"type": "array"
},
"rules": {
"type": "array"
},
"rule_pack": {
"type": "string"
}
},
"required": [
"rows"
]
}Community
Evidence