MCP Radar
MCP Server

NumProof

io.github.projecttron/numproof
Data & Analytics Finance & Investing Public & reachable MCP 2026-07-28

What this MCP does

Verifies numeric and financial claims, audits spreadsheet rows, evaluates covenant rules, and compares report versions with provenance.

Capabilities

Tools

4 tools
audit_rows
Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.
Input schema 
{'type': 'object', 'required': ['rows'], 'properties': {'rows': {'type': 'array'}}}
covenant_rules
Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.
Input schema 
{'type': 'object', 'required': ['rows'], 'properties': {'rows': {'type': 'array'}, 'rules': {'type': 'array'}, 'rule_pack': {'type': 'string'}}}
diff_rows
Compare two report versions by numeric row labels with provenance.
Input schema 
{'type': 'object', 'required': ['rows_before', 'rows_after'], 'properties': {'rows_after': {'type': 'array'}, 'rows_before': {'type': 'array'}}}
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.
Input schema 
{'type': 'object', 'required': ['claim'], 'properties': {'claim': {'type': 'string'}}}
History

Recent tool changes

Added
covenant_rules
Sept. 17, 2026, 12:49 p.m.
Added
diff_rows
Sept. 17, 2026, 12:49 p.m.
Added
audit_rows
Sept. 17, 2026, 12:49 p.m.
Added
verify_claim
Sept. 17, 2026, 12:49 p.m.
Discover

Similar MCP servers

AlpineDataWorks Intelligence Server

com.alpinedataworks/adw-intelligence-server

Provides economic, market, supply-chain, real-estate, energy, consumer, labor, and other scored intelligence indices with histori…

Stratalize Finance

com.stratalize/finance

Provides financial, macroeconomic, banking, credit, commodities, M&A, ESG, labor, and regulatory benchmarks for analysis and plan…

Valuein — SEC EDGAR Fundamentals & Smart-Money Data

io.github.valuein/mcp-sec-edgar

Provides point-in-time SEC EDGAR fundamentals, filings, ownership signals, financial analysis, valuation models, research reports…

equibles

io.github.daniel3303/equibles

Provides equity and market research tools covering SEC filings, company financials, portfolios, prices, options, macroeconomic da…

DFX Real Estate Intelligence

io.github.Capital-W-Holdings/us-property-parcel-real-estate-debt

Provides US commercial real estate, parcel, debt maturity, bank CRE exposure, private capital, investor, ownership, occupancy, an…

simplefunctions

io.github.spfunctions/simplefunctions

Provides prediction-market data, thesis analysis, market signals, portfolio tracking, and automated intent-based trading workflow…

EventTrader MCP

com.cymetica/event-trader-mcp

Provides prediction-market research and trading capabilities, including real-time event-market data, CLOB execution paths, fund i…

Signal8

ai.signal8/mcp

Provides SEC filings, dilution data, insider and institutional ownership, and political-trade data.