Serveur MCP

NumProof

io.github.projecttron/numproof
Données et analytique Finance et investissement Public et accessible MCP 2026-07-28

Ce que fait ce MCP

Verifies numeric and financial claims, audits spreadsheet rows, evaluates covenant rules, and compares report versions with provenance.

audit_rows
Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.
Schéma d’entrée
{'type': 'object', 'required': ['rows'], 'properties': {'rows': {'type': 'array'}}}
covenant_rules
Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.
Schéma d’entrée
{'type': 'object', 'required': ['rows'], 'properties': {'rows': {'type': 'array'}, 'rules': {'type': 'array'}, 'rule_pack': {'type': 'string'}}}
diff_rows
Compare two report versions by numeric row labels with provenance.
Schéma d’entrée
{'type': 'object', 'required': ['rows_before', 'rows_after'], 'properties': {'rows_after': {'type': 'array'}, 'rows_before': {'type': 'array'}}}
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.
Schéma d’entrée
{'type': 'object', 'required': ['claim'], 'properties': {'claim': {'type': 'string'}}}
Ajouté
covenant_rules
17 September 2026 12:49
Ajouté
diff_rows
17 September 2026 12:49
Ajouté
audit_rows
17 September 2026 12:49
Ajouté
verify_claim
17 September 2026 12:49