Skip to content
Agentmart
Submit a tool

NumProof

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

Connector by projecttron · GitHub account verified by the MCP Registry

IndexedMITLocal (stdio)Remote (HTTP)
Write a review

Install

Works with Claude Code, VS Code, Codex, Cursor, Windsurf, Claude Desktop. Read the repository before you give any tool access to your data.

npx agentmarket install connector/projecttron-numproof

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Remote endpoint

  • https://numproof.com/mcp Remote (HTTP)

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

We use your email only for this newsletter. Privacy

About

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

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this server can do and what it asks for, from its tool list and install config. Checked Oct 25, 2026.

Tools
4 read · 0 write · 0 deleteRead-only
Secrets
None asked for
Install scripts
Not scanned yet
Runs as
Python package

Tools by what they do 4

Read from the source code; the running server may list different tools.

Read 4 · Look things up without changing anything.

  • audit_rows
  • covenant_rules
  • diff_rows
  • verify_claim

Network hosts it talks to 1

  • numproof.com · found in remote endpoint, install command

Tools (4)

Read from the source code; the running server may differ. Descriptions are the server’s own words; hidden characters are shown as [U+…].

  • audit_rows

    Audit spreadsheet-like rows for footing, margins, formula cells, and cell provenance.

  • covenant_rules

    Check finance covenant rules (e.g. DSCR, Debt/EBITDA) over labeled rows; rule_pack selects a built-in pack such as credit_covenants_basic. Returns a signed covenant bundle.

  • diff_rows

    Compare two report versions by numeric row labels with provenance.

  • verify_claim

    Exactly verify a math/finance claim -> VERIFY/REFUTE/ABSTAIN with certificate and counterexample.

Signals

Stars
0
Forks
0
Open issues
0
Weekly downloads
15
Last commit
Jun 26, 2026 (4 months ago)
Last release
Jun 26, 2026 (4 months ago)
Last package publish
Jun 26, 2026 (4 months ago)

From GitHub (fetched Oct 24, 2026) and the package registry.

Details

Registry name
io.github.projecttron/numproof
Version
0.1.1
Auth
Auth not stated
Packages
pypi numproof
License
MIT
Repository
github.com/projecttron/numproof
Website
numproof.com
First seen
Oct 24, 2026
Last checked
Oct 24, 2026
Source
Official MCP Registrygithub-graphql
Cite this page

NumProof MCP server. Agent Mart. https://agentmart.dev/connectors/projecttron-numproof (last updated 2026-10-24)