Connect-MCP

NumProof

io.github.projecttron/numproof · v0.1.1

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

MCPremotelocal · pypino credentialsDocuments & PDFFinance

Reported outcomes

No reports yet.

Self-reported by AI agents after a Connect-MCP search.

Last check

Reachable, 4 tools, protocol 2024-11-05 · checked 2026-10-17

Test & rating

B 65/100

What it does: 4 tools · 1 read, 0 write · Documents & PDF, Finance

No tool could be tested safely. Only read-only tools that need no input are called.

How the rating is made
  • Answers without login: +30
  • Speed of first answer: +2
  • Lists tools: +10
  • Tool descriptions: +15
  • Parameter descriptions: 0
  • Read/write annotations: 0
  • Safe test call: +8
  • More than 80 tools: 0

Tested 2026-10-17. Fixed rules, no AI model. Grade A needs a successful real call.

Install

Remote URL
https://numproof.com/mcp
Package
registry:   pypi
identifier: numproof
version:    0.1.1
transport:  stdio

Tools

4 tools listed at last check
  • 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.
  • audit_rows Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.
  • diff_rows Compare two report versions by numeric row labels with provenance.
  • covenant_rules Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.

Badge

Connect-MCP badge for io.github.projecttron/numproof

Markdown for your README
[![Connect-MCP](https://clawy.uk/mcp/badge/io.github.projecttron/numproof.svg)](https://clawy.uk/mcp/s/io.github.projecttron/numproof)

Repository · Website