{"art":"mcp_server","schluessel":"io.github.RudrenduPaul/haltproof","slug":"io-github-rudrendupaul-haltproof","name":"io.github.RudrenduPaul/haltproof","status":"aktiv","homepage":"https://github.com/RudrenduPaul/HaltProof","paket_koordinate":"pypi:haltproof-cli","indexierbar":true,"anbietertext":{"text":"Fail-closed deterministic checks and hash-chained receipts for AI agent outputs via MCP.","sprache":"en","uebersetzt":false,"geprueft":false,"quelle":"Anbieter"},"adresse":"/api/v1/eintrag/mcp_server/io-github-rudrendupaul-haltproof"}