Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Listed on
- Official MCP Registry
- Glamavia MCP Toplist
- PulseMCPvia MCP Toplist
First seen 2 Oct 2026. One server, whatever directories list it: each directory listing keeps its own page and history.
3
Directories
2 via MCP Toplist
4
Tools
From an anonymous probe
-
ToolBench grade
Not graded by Arcade
0
GitHub stars
From MCP Toplist
Tools
| Tool | Description | Behaviour |
|---|---|---|
| audit_rows | Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance. | Not declared |
| covenant_rules | Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack. | Not declared |
| diff_rows | Compare two report versions by numeric row labels with provenance. | Not declared |
| 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. | Not declared |
| Directory | Listing | Tier | First seen |
|---|---|---|---|
| Official MCP Registry | NumProof | - | 2 Oct 2026 |
| Glama | Listed there according to MCP Toplist’s dataset; not collected by InvokeRank. | ||
| PulseMCP | Listed there according to MCP Toplist’s dataset; not collected by InvokeRank. | ||