{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.RudrenduPaul/haltproof","description":"Fail-closed deterministic checks and hash-chained receipts for AI agent outputs via MCP.","repository":{"url":"https://github.com/RudrenduPaul/HaltProof","source":"github"},"version":"0.1.3","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"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-08-11T02:40:06.570936Z","publishedAt":"2026-08-11T02:40:06.570936Z","updatedAt":"2026-08-11T02:40:06.570936Z","isLatest":true}}}],"metadata":{"count":1}}