MCPサーバー

NumProof

io.github.projecttron/numproof
データ・分析 金融・投資 公開・接続可能 MCP 2026-07-28

この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.
入力スキーマ
{'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.
入力スキーマ
{'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.
入力スキーマ
{'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.
入力スキーマ
{'type': 'object', 'required': ['claim'], 'properties': {'claim': {'type': 'string'}}}
追加
covenant_rules
2026年9月17日12:49
追加
diff_rows
2026年9月17日12:49
追加
audit_rows
2026年9月17日12:49
追加
verify_claim
2026年9月17日12:49