Koskamo

NumProof MCP

NumProof provides a deterministic numeric truth layer for AI agents and spreadsheets. It allows agents to verify numeric claims, audit spreadsheets for consistency, and check financial covenants. Results can be returned as signed bundles for independent verification, ensuring that agents do not act on incorrect or fabricated data.

Endpoint and access

No sign-in to connect and list tools. Individual tools may still need a vendor account, credentials, or permissions; check the documented prerequisites.

NumProof MCP logo, by NumProofCommunity listingStreamable HTTPNo sign-inEndpoint checked 2026-11-07Published by NumProof
You need:Free API key
MCP endpoint (Streamable HTTP)
https://numproof.com/mcp
Vendor documentation

What its tools do

4 tools, grouped by the hints the server advertises. Hints are self-declared, not verified behavior.

Not annotated (4)

4 of 4 have a description · 0 of 4 declare behavior hints · 0 of 4 with parameters document them all

Checks and signals

Each line is separate evidence, not a trust score.

  • Passed Endpoint answered the live check ·
  • Availability 1 of 1 checks passed in 30 days

What you can do with it

  • Verify numeric claims emitted by AI agents before they act
  • Audit spreadsheets for internal consistency and footing
  • Check financial covenants like DSCR and Debt/EBITDA
  • Generate signed receipts for independent verification

Source and maintenance

Community listingRegistry 0.1.1
mcp-registry: io.github.projecttron/numproof@0.1.1Source repositoryProject website
Maintenance checked

Protocol and capabilities

Server
NumProof 1.0.0
MCP protocol negotiated in check
2024-11-05
Tools
4 advertised
Resources
Not advertised
Resource templates
Not advertised
Prompts
Not advertised
Server-advertised capabilities
{
  "tools": {}
}

Tools

4 advertised

verify_claim
Advertised by the server during the last successful anonymous check.

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.

verify_claim input schema
{
  "type": "object",
  "required": [
    "claim"
  ],
  "properties": {
    "claim": {
      "type": "string"
    }
  }
}
audit_rows
Advertised by the server during the last successful anonymous check.

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

audit_rows input schema
{
  "type": "object",
  "required": [
    "rows"
  ],
  "properties": {
    "rows": {
      "type": "array"
    }
  }
}
diff_rows
Advertised by the server during the last successful anonymous check.

Compare two report versions by numeric row labels with provenance.

diff_rows input schema
{
  "type": "object",
  "required": [
    "rows_before",
    "rows_after"
  ],
  "properties": {
    "rows_after": {
      "type": "array"
    },
    "rows_before": {
      "type": "array"
    }
  }
}
covenant_rules
Advertised by the server during the last successful anonymous check.

Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.

covenant_rules input schema
{
  "type": "object",
  "required": [
    "rows"
  ],
  "properties": {
    "rows": {
      "type": "array"
    },
    "rules": {
      "type": "array"
    },
    "rule_pack": {
      "type": "string"
    }
  }
}

Prompts

Not advertised

No prompt definitions available.

Resources

Not advertised

No resource definitions available.

30-day availability

Aggregated from read-only remote checks; this is not a tool-execution or security guarantee.

Successful checks
1 of 1 (100%)
Average latency
745 ms
95th percentile latency
745 ms

Maintenance history

Public check and source-refresh events. Editorial and ownership records remain private.

  • · probe · passed · 745 ms · metadata changed · 4 tool(s)

Connect from your client

Each snippet registers the same endpoint; pick the client you use.

This server is operated by the named third party. Listing and endpoint checks are not an endorsement or a security audit. Review the operator's permissions, terms, and data handling before connecting. How listings are checked and corrected.

Claude Code

Run this once in a terminal. It registers the remote server. Use --scope project to write .mcp.json for the repo.
Claude Code configuration
claude mcp add --transport http numproof-mcp https://numproof.com/mcp

Codex

Run this once. Codex stores MCP servers in ~/.codex/config.toml (or .codex/config.toml in a trusted project).
Codex configuration
codex mcp add numproof-mcp --url https://numproof.com/mcp

Cursor

Merge this server into .cursor/mcp.json in your project, then enable numproof-mcp in your MCP settings.
Cursor configuration
{
  "mcpServers": {
    "numproof-mcp": {
      "url": "https://numproof.com/mcp"
    }
  }
}

Cline

Merge this into cline_mcp_settings.json (Cline → MCP Servers → Configure).
Cline configuration
{
  "mcpServers": {
    "numproof-mcp": {
      "type": "streamableHttp",
      "url": "https://numproof.com/mcp",
      "disabled": false
    }
  }
}

VS Code

Merge this server into .vscode/mcp.json. Use MCP: List Servers to start numproof-mcp and inspect its tools.
VS Code configuration
{
  "servers": {
    "numproof-mcp": {
      "type": "http",
      "url": "https://numproof.com/mcp"
    }
  }
}

Gemini CLI

Run this once. It writes .gemini/settings.json in the current project; pass --scope user for ~/.gemini/settings.json.
Gemini CLI configuration
gemini mcp add --transport http numproof-mcp https://numproof.com/mcp

Claude Desktop

Open Claude Settings > Connectors > Add custom connector, enter this server URL and enable it for the conversation. This is a manual remote-connector handoff, not a desktop JSON configuration.
Claude Desktop configuration
https://numproof.com/mcp

Windsurf

Merge this into ~/.codeium/windsurf/mcp_config.json, then refresh MCP in Cascade. Windsurf remote servers use serverUrl, not url.
Windsurf configuration
{
  "mcpServers": {
    "numproof-mcp": {
      "serverUrl": "https://numproof.com/mcp"
    }
  }
}

Let your agent find its tools

Find servers like NumProof MCP from your agent. Add Koskamo once to search the index for endpoints, access requirements, and client setup. Public discovery needs no key.

Connect Koskamo Explore workflows
See all 5,557