{"name":"io.github.RudrenduPaul/haltproof","slug":"rudrendupaul-haltproof","title":null,"description":"Fail-closed deterministic checks and hash-chained receipts for AI agent outputs via MCP.","url":"https://mcp.market/server/rudrendupaul-haltproof","rating":null,"grade":"A","score":85,"certified":false,"status":"active","category":"ai","tags":["ai"],"presence":{"score":22,"stars":0,"forks":0,"downloads_week":24,"last_push_at":"2026-09-08T22:20:12.000Z","license":"MIT"},"uptime":null,"claimed":false,"transport":"pypi","callable_via_gateway":false,"default_price_micros":0,"repository":"https://github.com/RudrenduPaul/HaltProof","website":null,"version":"0.1.3","remotes":[],"packages":[{"registryType":"pypi","identifier":"haltproof-cli","version":"0.1.3","runtimeHint":"uvx","transport":{"type":"stdio"},"runtimeArguments":[{"value":"haltproof-cli","type":"named","name":"--from"}],"packageArguments":[{"value":"haltproof","type":"positional","valueHint":"script_name"},{"value":"mcp-server","type":"positional","valueHint":"subcommand"}]}],"tools":[{"name":"halt","description":"Drain, isolate, and power-fence a target node group.","write_action":false,"price_micros":0,"input_schema":null},{"name":"keygen","description":"Generate an Ed25519 keypair for attestation signing.","write_action":false,"price_micros":0,"input_schema":null},{"name":"status","description":"Report backend auto-detection results and optional target-group health.","write_action":false,"price_micros":0,"input_schema":null},{"name":"verify","description":"Verify an attestation record's Ed25519 signature and return its timeline.","write_action":false,"price_micros":0,"input_schema":null},{"name":"verify_chain","description":"Verify an attestation log's full hash chain, not just one record.","write_action":false,"price_micros":0,"input_schema":null}],"scan":{"score":85,"grade":"A","scanned_at":"2026-09-23T21:38:35.695Z","report":{"scannerVersion":"0.1.9","scannedAt":"2026-09-23T21:38:35.688Z","components":{"code":{"score":20,"max":25,"notes":["18 source files scanned"]},"reliability":{"score":-1,"max":20,"notes":["no gateway calls yet and no remote to probe"]},"poisoning":{"score":-1,"max":15,"notes":["tools not inspected (local package is not executed); not counted"]},"auth":{"score":12,"max":15,"notes":["local package, no credentials required"]},"maintenance":{"score":15,"max":15,"notes":["last push 15 days ago"]},"identity":{"score":8,"max":10,"notes":["registry namespace matches repository owner","GitHub account older than a year"]}},"findings":[{"id":"exec.shell-true","severity":"medium","component":"code","title":"subprocess with shell=True","evidence":"haltproof_cli-0.1.3/src/haltproof/backends/base.py: …mbiguity, and backends never need ``shell=True``. \"\"\" node: str operation…"}],"inputs":{"packages":[{"registryType":"pypi","identifier":"haltproof-cli","version":"0.1.3","found":true,"weeklyDownloads":24,"license":"MIT","dependencyCount":6,"publishedAt":"2026-08-11T02:19:53.912512Z","repositoryUrl":"https://github.com/RudrenduPaul/HaltProof"}],"repo":{"found":true,"owner":"RudrenduPaul","repo":"HaltProof","archived":false,"pushedAt":"2026-09-08T22:20:12Z","stars":0,"forks":0,"openIssues":1,"ownerType":"User","ownerAvatarUrl":"https://avatars.githubusercontent.com/u/38769913?v=4","ownerCreatedAt":"2018-04-26T21:59:35Z","license":"MIT"},"icon":{"url":"https://avatars.githubusercontent.com/u/38769913?v=4&s=128","source":"github"},"presence":{"stars":0,"forks":0,"downloadsWeek":24,"license":"MIT","lastPushAt":"2026-09-08T22:20:12.000Z","score":22}}}},"grade_history":[],"reviews":[]}