{"name":"io.github.projecttron/numproof","slug":"projecttron-numproof","title":"NumProof","description":"Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.","url":"https://mcp.market/server/projecttron-numproof","rating":null,"grade":"B","score":84,"certified":false,"status":"active","category":"other","tags":[],"presence":{"score":20,"stars":0,"forks":0,"downloads_week":16,"last_push_at":"2026-06-26T19:59:04.000Z","license":"MIT"},"uptime":{"percent":100,"checks":28,"ok":28,"last_checked_at":"2026-11-04T09:20:44.319Z","last_ok_at":"2026-11-04T09:20:44.319Z","latency_ms":214},"claimed":false,"transport":"mixed","callable_via_gateway":true,"default_price_micros":0,"repository":"https://github.com/projecttron/numproof","website":"https://numproof.com","version":"0.1.1","remotes":[{"type":"streamable-http","url":"https://numproof.com/mcp"}],"packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"numproof","version":"0.1.1","runtimeHint":"uvx","transport":{"type":"stdio"}}],"tools":[{"name":"audit_rows","description":"Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.","write_action":false,"price_micros":0,"input_schema":{"type":"object","properties":{"rows":{"type":"array"}},"required":["rows"]}},{"name":"covenant_rules","description":"Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.","write_action":false,"price_micros":0,"input_schema":{"type":"object","properties":{"rows":{"type":"array"},"rules":{"type":"array"},"rule_pack":{"type":"string"}},"required":["rows"]}},{"name":"diff_rows","description":"Compare two report versions by numeric row labels with provenance.","write_action":false,"price_micros":0,"input_schema":{"type":"object","properties":{"rows_before":{"type":"array"},"rows_after":{"type":"array"}},"required":["rows_before","rows_after"]}},{"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 formula.","write_action":false,"price_micros":0,"input_schema":{"type":"object","properties":{"claim":{"type":"string"}},"required":["claim"]}}],"scan":{"score":84,"grade":"B","scanned_at":"2026-09-26T16:34:28.467Z","report":{"scannerVersion":"0.1.9","scannedAt":"2026-09-26T16:34:28.410Z","components":{"code":{"score":25,"max":25,"notes":["11 source files scanned"]},"reliability":{"score":20,"max":20,"notes":["remote reachable in 791ms"]},"poisoning":{"score":15,"max":15,"notes":["4 tool descriptions checked"]},"auth":{"score":10,"max":15,"notes":["open endpoint, read-only tools"]},"maintenance":{"score":8,"max":15,"notes":["last push 92 days ago"]},"identity":{"score":6,"max":10,"notes":["registry namespace matches repository owner"]}},"findings":[],"inputs":{"probes":[{"url":"https://numproof.com/mcp","reachable":true,"authRequired":false,"latencyMs":791,"serverInfo":{"name":"NumProof","version":"1.0.0"}}],"packages":[{"registryType":"pypi","identifier":"numproof","version":"0.1.1","found":true,"weeklyDownloads":16,"license":"MIT","dependencyCount":4,"publishedAt":"2026-06-26T19:58:06.917546Z","repositoryUrl":"https://github.com/projecttron/numproof"}],"repo":{"found":true,"owner":"projecttron","repo":"numproof","archived":false,"pushedAt":"2026-06-26T19:59:04Z","stars":0,"forks":0,"openIssues":0,"ownerType":"User","ownerAvatarUrl":"https://avatars.githubusercontent.com/u/252207928?v=4","ownerCreatedAt":"2025-12-30T16:15:36Z","license":"MIT"},"icon":{"url":"data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 100 100'%3E%3Crect x='13' y='13' width='74' height='74' rx='17' fill='none' stroke='%23ffffff' stroke-width='8'/%3E%3Crect x='35.5' y='35.5' width='29' height='29' rx='6' fill='%231f8a5b'/%3E%3C/svg%3E","source":"site"},"presence":{"stars":0,"forks":0,"downloadsWeek":16,"license":"MIT","lastPushAt":"2026-06-26T19:59:04.000Z","score":20}}}},"grade_history":[],"reviews":[]}