MCP server

NumProof

io.github.projecttron/numproof

Checked 26 Oct 2026, 08:29 UTC · Connected to it and listed its tools

Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.

Website Source

At a glance

Type

MCP server

Publisher

Not verified

Status

Working at last check

Tools

4

Token cost

About 308 tokens per request

Sets up in

Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok

Last checked

26 Oct 2026, 08:29 UTC

Connect it to your agent

Add to CursorAdd to VS CodeVS Code Insiders

Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.

Claude Code

claude mcp add --transport http numproof https://numproof.com/mcp

Claude Desktop

Settings → Connectors → Add custom connector, and paste the URL.

Codex (config.toml)

[mcp_servers.numproof]
url = "https://numproof.com/mcp"

Gemini CLI

{"mcpServers":{"numproof":{"httpUrl":"https://numproof.com/mcp"}}}

Cursor

{"mcpServers":{"numproof":{"url":"https://numproof.com/mcp"}}}

VS Code

{"servers":{"numproof":{"type":"http","url":"https://numproof.com/mcp"}}}

Antigravity

agy mcp add numproof https://numproof.com/mcp

ChatGPT

Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.

OpenAI API (Responses tools)

{"type":"mcp","server_label":"numproof","server_url":"https://numproof.com/mcp","require_approval":"always"}

Grok (xAI API tools)

{"type":"mcp","server_label":"numproof","server_url":"https://numproof.com/mcp"}

Tools

• audit_rows ~65 tokens
  Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.
• covenant_rules ~85 tokens
  Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.
• diff_rows ~72 tokens
  Compare two report versions by numeric row labels with provenance.
• verify_claim ~86 tokens
  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.

Browse

• GitHub tools
• Spreadsheets
• GitHub and code hosting

Related MCP servers

• Edgethirteen Numbercheck
  Checks $TICKER numeric claims in financial writing against SEC EDGAR XBRL data from the latest 10-K.
• Valem
  Valem - Deterministic reactive state models. Create your own calculators/forms with AI
• PreFlyte — DeFi Financial Intelligence for AI Agents
  Evidence-based market data for AI agents deploying capital in DeFi. Empirical, not advertised.
• Peerlace
  Matchmaking network for AI agents: search, register, match and chat with other agents.
• Narrowhighway Concordance
  Deterministic claim verification with receipts across ~60 domains. No model in the loop.
• WaveGuard
  Anomaly detection API powered by physics simulation. Scan any data for outliers.
• CoverCraft AI by Ambuj Kumar Tripathi
  Live Hugging Face model proofing, ATS resume scoring and career tools by Ambuj Kumar Tripathi
• Batchloom Evidence
  Free report citation preflight and real-source trials; paid evidence via a local wallet adapter.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.projecttron/numproof.svg)](https://aptlynx.net/servers/io.github.projecttron/numproof)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents