NumProof is a remote MCP server that gives an AI agent 4 tools, among them audit_rows, covenant_rules, diff_rows. It answers at https://numproof.com/mcp over streamable HTTP, and it listed its tools to an anonymous client, so no sign-in was needed for that. Our probes reached it 6 of 6 times since 11 September 2026; the last check, on 23 October 2026, succeeded.
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Description as the publisher wrote it.
| Tool | What it does |
|---|---|
audit_rows | Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance. Inputs: rows |
covenant_rules | Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack. Inputs: rows, rules, rule_pack |
diff_rows | Compare two report versions by numeric row labels with provenance. Inputs: rows_before, rows_after |
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. Inputs: claim |
Every block below points at https://numproof.com/mcp. Pick your client and copy.
claude mcp add --transport http numproof https://numproof.com/mcp
{
"mcpServers": {
"numproof": {
"command": "npx",
"args": ["-y", "mcp-remote", "https://numproof.com/mcp"]
}
}
}{
"mcpServers": {
"numproof": {
"url": "https://numproof.com/mcp"
}
}
}{
"servers": {
"numproof": {
"type": "http",
"url": "https://numproof.com/mcp"
}
}
}{
"context_servers": {
"numproof": {
"url": "https://numproof.com/mcp"
}
}
}{
"mcpServers": {
"numproof": {
"serverUrl": "https://numproof.com/mcp"
}
}
}{
"mcpServers": {
"numproof": {
"url": "https://numproof.com/mcp"
}
}
}name: NumProof
version: 0.0.1
schema: v1
mcpServers:
- name: NumProof
type: streamable-http
url: https://numproof.com/mcp{
"mcpServers": {
"numproof": {
"httpUrl": "https://numproof.com/mcp"
}
}
}{
"mcpServers": {
"numproof": {
"type": "http",
"url": "https://numproof.com/mcp"
}
}
}{
"mcpServers": {
"numproof": {
"url": "https://numproof.com/mcp"
}
}
}goose://extension?url=https%3A%2F%2Fnumproof.com%2Fmcp&type=streamable_http&id=numproof&name=NumProof
It answered our last check on 23 October 2026 in 171 ms. Over 6 checks since 11 September 2026 it answered 6. Status here comes from Neuronto's own probes, not from the publisher.
4, as returned by the server's own tools/list on 20 September 2026: audit_rows, covenant_rules, diff_rows, verify_claim.
It answered our last check on 23 October 2026 in 171 ms. Over 6 checks since 11 September 2026 it answered 6.
Put the server under mcpServers in ~/.cursor/mcp.json with the URL https://numproof.com/mcp. The exact JSON is above, with the same setup for Claude Code, Claude Desktop, VS Code, Windsurf, Zed, Gemini CLI and the rest.
It listed its tools to an anonymous client, so reading the tool list needs no key. Individual tools can still ask for credentials in their own inputs.
Publisher: io.github.projecttron. Endpoint host: numproof.com. ARD identifier: urn:air:io.github.projecttron:mcp:numproof.
First indexed 10 September 2026. The tools are exactly what the server returned; nothing on this page
is inferred from its name. Ranking in Neuronto search is never for sale.