Analytics

numproof.com

A server for verifying financial claims, auditing spreadsheet data, and evaluating rules with provenance.

1 endpoint4 known toolsFirst detected July 25, 2026Last detected August 29, 2026

ENDPOINT 1

https://numproof.com/mcp

No auth detected

Capabilities

tools

Exactly verify a math/finance claim (VERIFY/REFUTE/ABSTAIN) with a counterexample when false.

Inferred read-only

Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.

Inferred read-only

Compare two report versions by numeric row labels with provenance.

Inferred read-only

Evaluate threshold/covenant rules over spreadsheet-like rows with provenance.

Inferred read-only

CONNECT WITH APPROVAL

Review this server and its permissions before adding it. Secret placeholders must be set locally.

Codex

~/.codex/config.toml

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

Claude Code

.mcp.json

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

Claude Desktop

Settings → Connectors → Add custom connector

Name: numproof
Remote MCP URL: https://numproof.com/mcp

Add this remote URL as a custom connector in Claude Desktop. Availability depends on the user plan and workspace policy.

Cursor

.cursor/mcp.json

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

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

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

Generic MCP

Client-specific MCP configuration

{
  "name": "numproof",
  "transport": "streamable-http",
  "url": "https://numproof.com/mcp"
}

MCP Inspector

Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.

TRUST AND VERIFICATION EVIDENCE

Checking the associated registrable domain. The BuiltWith key remains server-side.

Indexed

Evidence is source-attributed and does not guarantee that a third-party server is safe. Risk labels are conservative metadata heuristics.