Armory
Source
Browse
MCPs

numproof

MCP server for deterministic numeric verification and spreadsheet auditing. Enables AI agents to verify math/finance claims, audit rows, and evaluate covenant rules with signed, independently checkable receipts.

Score
Unranked
Evidence
No signals yet
Last commit
as last read from GitHub; most reads are from 2 Sep 2026 or later
Listed

Install

No one-command install. Set it up from its source.

Alternatives · MCPs

  1. jacobian112 stars · 11 forks90.349
  2. arian-gogani-nobulex40 stars · 11 forks84.902
  3. scopeblind9 stars · 4 forks66.871

What it is

MCP server for deterministic numeric verification and spreadsheet auditing. Enables AI agents to verify math/finance claims, audit rows, and evaluate covenant rules with signed, independently checkable receipts.

When to use it

MCP server for deterministic numeric verification and spreadsheet auditing. Enables AI agents to verify math/finance claims, audit rows, and evaluate covenant rules with signed, independently checkable receipts.

How to install / invoke

See Glama for the install config.

Notes

Listed from the Glama MCP registry.