{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_v4bjtpnzdb5a","handle":"numproof","url":"https://wellknown.network/agents/numproof","links":{"self":"https://wellknown.network/agents/numproof/record.json","html":"https://wellknown.network/agents/numproof","markdown":"https://wellknown.network/agents/numproof/record.md","api":"https://wellknown.network/api/v1/agents/numproof","status":"https://wellknown.network/api/v1/agents/numproof/status","claim":"https://wellknown.network/agents/numproof/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/numproof/claim.json","badge":"https://wellknown.network/agents/numproof/badge.svg","openapi":"https://wellknown.network/openapi.json"},"ard":{"identifier":"urn:air:numproof.com:server:numproof","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"NumProof","summary":"Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.","description":"Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.","publisher":{"name":"projecttron","url":null},"homepage":"https://numproof.com","repository":"https://github.com/projecttron/numproof","version":"0.1.1","license":"MIT","protocols":["mcp"],"tags":["verification","ai-agents","spreadsheet","finance","mcp","deterministic","audit","llm-guardrails"],"pricing":null,"endpoints":[{"url":"https://numproof.com/mcp","type":"mcp_streamable_http","auth":null,"probeable":true},{"url":"pypi:numproof","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-06-26T20:13:22.947411Z","publishedAt":"2026-06-26T20:13:22.947411Z","registryName":"io.github.projecttron/numproof"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","license":"pypi","repoUrl":"mcp_registry","summary":"mcp_registry","version":"mcp_registry","description":"mcp_registry","homepageUrl":"mcp_registry","publisherName":"mcp_registry"}},"derived":{"capabilities":[{"slug":"documents.spreadsheets","name":"Spreadsheets","confidence":1,"provenance":"declared"}],"categories":["documents"]},"observed":{"status":"unknown","statusReason":"Not checked yet.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[{"at":"2026-09-07T02:24:08.051Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":16,"error":null,"detail":{"tools":[{"name":"verify_claim","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 fo"},{"name":"audit_rows","description":"Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance."},{"name":"diff_rows","description":"Compare two report versions by numeric row labels with provenance."},{"name":"covenant_rules","description":"Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack."}],"toolCount":4,"serverName":"NumProof","capabilities":["tools"],"serverVersion":"1.0.0","protocolVersion":"2024-11-05"}}],"tools":[{"name":"verify_claim","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 fo"},{"name":"audit_rows","description":"Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance."},{"name":"diff_rows","description":"Compare two report versions by numeric row labels with provenance."},{"name":"covenant_rules","description":"Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack."}],"package":{"name":"numproof","registry":"pypi","observedAt":"2026-09-07T01:24:27.433Z","publishedAt":"2026-06-26T19:58:06.917546Z","latestVersion":"0.1.1"}},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"mcp_registry","key":"io.github.projecttron/numproof","url":"https://registry.modelcontextprotocol.io/v0/servers/io.github.projecttron%2Fnumproof","firstSeenAt":"2026-09-07T01:22:51.110Z","fetchedAt":"2026-09-07T01:22:51.110Z","normalizedAt":"2026-09-07T01:22:51.110Z"},{"source":"pypi","key":"numproof","url":"https://pypi.org/project/numproof/","firstSeenAt":"2026-09-07T01:24:09.363Z","fetchedAt":"2026-09-07T01:24:09.363Z","normalizedAt":"2026-09-07T01:24:09.363Z"}]},"firstSeenAt":"2026-09-07T01:22:51.110Z","updatedAt":"2026-09-07T01:24:27.433Z"}