{"server":{"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."},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","isLatest":true,"updatedAt":"2026-06-26T20:13:22.947411Z","publishedAt":"2026-06-26T20:13:22.947411Z","statusChangedAt":"2026-06-26T20:13:22.947411Z"},"dev.protogrid/connectability":{"class":"R0","autonomous":true,"human_steps":[],"preferred":{"kind":"remote","idx":0},"remotes":[{"idx":0,"url":"https://numproof.com/mcp","transport":"streamable-http","templated":false,"headers":[],"auth":{"type":"none","location":null,"secret_name":null,"oauth":null},"protocol":{"supported_versions":["2024-11-05"],"stateless":true},"health":{"reachable":true,"uptime_30d":1,"latency_ms_p50":267,"consecutive_failures":0,"last_probe_at":"2026-10-19T20:18:14.270Z","last_ok_at":"2026-10-19T20:18:14.270Z"}}],"packages":[{"idx":0,"registry_type":"pypi","identifier":"numproof","version":"0.1.1","runtime_hint":"uvx","transport":"stdio","secrets":[],"requires_execution":true}]},"dev.protogrid/tools":[{"name":"audit_rows","title":null,"description":"Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.","annotations":null,"source":"probe","observed_at":"2026-10-19T20:18:14.270Z"},{"name":"covenant_rules","title":null,"description":"Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.","annotations":null,"source":"probe","observed_at":"2026-10-19T20:18:14.270Z"},{"name":"diff_rows","title":null,"description":"Compare two report versions by numeric row labels with provenance.","annotations":null,"source":"probe","observed_at":"2026-10-19T20:18:14.270Z"},{"name":"verify_claim","title":null,"description":"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.","annotations":null,"source":"probe","observed_at":"2026-10-19T20:18:14.270Z"}],"dev.protogrid/trust":{"score":90,"components":{"hygiene":100,"liveness":100,"freshness":65,"provenance":90},"drivers":["+repository","+namespace-matches-repo","+website","+reachable","+uptime-100%","~updated-115d-ago"],"flags":[],"blocked":false,"computed_at":"2026-10-20T00:38:53.205Z","disclaimer":"Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed."},"dev.protogrid/quality":{"score":83,"label":"good","components":{"auth":null,"hygiene":71,"protocol":75,"stability":100,"dependencies":100},"checks":[{"id":"protocol.modern","detail":"newest supported version is 2024-11-05; 2026-07-28 not supported, older versions are deprecated until 2027-07-28","status":"warn","category":"protocol"},{"id":"protocol.stateless","detail":"only applies to 2026-07-28 servers","status":"na","category":"protocol"},{"id":"protocol.transport","detail":"streamable HTTP","status":"pass","category":"protocol"},{"id":"protocol.list_ttl","detail":"only applies to 2026-07-28 servers","status":"na","category":"protocol"},{"id":"auth.prm","detail":"no remote uses OAuth","status":"na","category":"auth"},{"id":"auth.as_metadata","detail":"no remote uses OAuth","status":"na","category":"auth"},{"id":"auth.cimd","detail":"no remote uses OAuth","status":"na","category":"auth"},{"id":"auth.secret_in_url","detail":"no templated URL","status":"na","category":"auth"},{"id":"tools.descriptions","detail":"every tool has a description","status":"pass","category":"hygiene"},{"id":"tools.description_length","detail":"descriptions are concise","status":"pass","category":"hygiene"},{"id":"tools.schemas","detail":"every tool has an object input schema","status":"pass","category":"hygiene"},{"id":"tools.annotations","detail":"no tool declares readOnlyHint or destructiveHint, so clients cannot tell safe calls from risky ones","status":"fail","category":"hygiene"},{"id":"tools.directory_hints","detail":"no 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); …","status":"fail","category":"hygiene"},{"id":"tools.token_cost","detail":"about 230 tokens to load every tool","status":"pass","category":"hygiene"},{"id":"tools.api_dump","detail":"tools are not a one-to-one API dump","status":"pass","category":"hygiene"},{"id":"stability.changes","detail":"no tool changes in 30 days","status":"pass","category":"stability"},{"id":"stability.rug_pull","detail":"no tool changed its meaning under the same name","status":"pass","category":"stability"},{"id":"deps.known_vulns","detail":"no known advisory in 1 resolved packages","status":"pass","category":"dependencies"},{"id":"deps.mcp_sdk_version","detail":"the official MCP SDK is not in the dependency graph","status":"na","category":"dependencies"},{"id":"deps.resolvable","detail":"numproof@0.1.1 resolved: 1 packages","status":"pass","category":"dependencies"}],"drivers":["-tools.annotations","-tools.directory_hints","~protocol.modern"],"flags":[],"tool_count":4,"token_estimate":230,"tools_hash":"475e4c04eb029d0eb8cfe2b9ae0617c1","tools_changed_at":null,"computed_at":"2026-10-20T00:22:39.443Z","disclaimer":"Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed."},"dev.protogrid/identity":{"canonical_id":"io.github.projecttron/numproof","aliases":[],"alias_count":0,"repository_key":"github:projecttron/numproof","owner":{"verified":false,"method":null,"since":null}}},"next_actions":[{"action":"list_tools","description":"Every current tool with input schemas","href":"/v1/servers/io.github.projecttron%2Fnumproof/tools","arguments":{"name":"io.github.projecttron/numproof"}},{"action":"get_connection","description":"Minimal connection block for the preferred remote or package","href":"/v1/servers/io.github.projecttron%2Fnumproof/connection?target=mcpServers","arguments":{"name":"io.github.projecttron/numproof","target":"mcpServers"}},{"action":"search","description":"Find other servers by intent","href":"/v1/search?q={query}","arguments":{"q":"{query}"}}]}