Connect

8 clients · secrets stay placeholders

JSON (mcpServers)Claude CodeCodexOpenCodeCursorVS CodeGemini CLIGoose

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

claude mcp add --transport http numproof https://numproof.com/mcp

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

{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "numproof": {
      "type": "remote",
      "url": "https://numproof.com/mcp",
      "enabled": true
    }
  }
}

{
  "mcpServers": {
    "numproof": {
      "type": "http",
      "url": "https://numproof.com/mcp"
    }
  },
  "deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=numproof&config=eyJ0eXBlIjoiaHR0cCIsInVybCI6Imh0dHBzOi8vbnVtcHJvb2YuY29tL21jcCJ9"
}

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

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

extensions:
  "numproof":
    enabled: true
    name: "numproof"
    type: streamable_http
    uri: "https://numproof.com/mcp"
    timeout: 300

Quality 83 / 100good

protocol75 · weight 25

warn
protocol.modernnewest supported version is 2024-11-05; 2026-07-28 not supported, older versions are deprecated until 2027-07-28
n/a
protocol.statelessonly applies to 2026-07-28 servers
pass
protocol.transportstreamable HTTP
n/a
protocol.list_ttlonly applies to 2026-07-28 servers

authorizationn/a · weight 15

n/a
auth.prm, auth.as_metadata, auth.cimdno remote uses OAuth
n/a
auth.secret_in_urlno templated URL

tool hygiene71 · weight 30

pass
tools.descriptionsevery tool has a description
pass
tools.description_lengthdescriptions are concise
pass
tools.schemasevery tool has an object input schema
fail
tools.annotationsno tool declares readOnlyHint or destructiveHint, so clients cannot tell safe calls from risky ones
fail
tools.directory_hintsno tool declares all four of readOnlyHint, destructiveHint, idempotentHint and openWorldHint; missing: verify_claim (readOnlyHint, destructiveHint, idempotentHint, openWorldHint); audit_rows (readOnlyHint, destructiveHint, idempotentHint, openWorldHint); diff_rows (readOnlyHint, destructiveHint, idempotentHint, openWorldHint); …
pass
tools.token_costabout 230 tokens to load every tool
pass
tools.api_dumptools are not a one-to-one API dump

stability100 · weight 15

pass
stability.changesno tool changes in 30 days
pass
stability.rug_pullno tool changed its meaning under the same name

dependencies100 · weight 15

pass
deps.known_vulnsno known advisory in 1 resolved packages
n/a
deps.mcp_sdk_versionthe official MCP SDK is not in the dependency graph
pass
deps.resolvable[email protected] resolved: 1 packages

4 tools, about 230 tokens to load them all · tool set 475e4c04eb02 · checked 2026-10-19 10:20 UTC

Tool changes

No tool definition changes recorded. A server's first observation is its baseline; later probes record what changes.

Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.

Trust 90 / 100

provenance90

liveness100

freshness65

hygiene100

+repository +namespace-matches-repo +website +reachable +uptime-100% ~updated-115d-ago

Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.

Dependencies

[email protected] PyPI0 dependencies, resolved · advisories checked 2026-10-19

No known advisory affects this dependency graph.

Dependency graphs from deps.dev; advisories from OSV.dev, including the GitHub Advisory Database and the PyPI Advisory Database; all CC BY 4.0. The graph is what a clean install of this version resolves today; nothing was installed or run. How it is checked.

Endpoints

remote	auth	reachable	uptime 30d	p50	protocol	last ok
`https://numproof.com/mcp` streamable-http	none	yes	100%	268 ms	2024-11-05	2026-10-19

package	registry	version	runtime	secrets
`numproof`	pypi	0.1.1	uvx

Tools (4)

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

Schemas: list_tools.

Similar MCP servers

Official server.json

{
  "name": "io.github.projecttron/numproof",
  "title": "NumProof",
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "remotes": [
    {
      "url": "https://numproof.com/mcp",
      "type": "streamable-http"
    }
  ],
  "version": "0.1.1",
  "packages": [
    {
      "version": "0.1.1",
      "transport": {
        "type": "stdio"
      },
      "identifier": "numproof",
      "runtimeHint": "uvx",
      "registryType": "pypi",
      "registryBaseUrl": "https://pypi.org"
    }
  ],
  "repository": {
    "url": "https://github.com/projecttron/numproof",
    "source": "github"
  },
  "websiteUrl": "https://numproof.com",
  "description": "Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets."
}