NumProof
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Sollte ich dies verwenden
Qualität und Sicherheit
Befunde (1)
- LOWTool 'diff_rows' description lacks action verbin diff_rows
Basierend auf einer automatisierten Analyse der Tool-Definitionen und der Einhaltung des Protokolls.
Kontextkosten
Dies ist die ungefähre Anzahl der Tokens, die jedes Mal verbraucht werden, wenn die Tools des Servers in den Kontext eines Modells geladen werden. Höhere Werte verringern die Aufmerksamkeit, die für andere Aufgaben verfügbar ist.
Installieren
Installation mit einem Klick
Fügen Sie dies Ihrer Datei `claude_desktop_config.json` hinzu:
{
"mcpServers": {
"numproof": {
"command": "uvx",
"args": [
"numproof"
]
}
}
}Ausführbare Pakete
0.1.1stdioRemote-Endpunkte
https://numproof.com/mcpstreamable-httpWas es kann
Tool-Inventar
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.
Eingabe-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.
Eingabe-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.
Eingabe-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.
Eingabe-Schema
{
"type": "object",
"properties": {
"rows": {
"type": "array"
},
"rules": {
"type": "array"
},
"rule_pack": {
"type": "string"
}
},
"required": [
"rows"
]
}Community
Nachweis