Skip to content
Verified official

haltproof MCP

v0.1.3

io.github.rudrendupaul/haltproof

Fail-closed deterministic checks and hash-chained receipts for AI agent outputs via MCP.

transport:stdio runtime:pypi

Target client

run in your project directory

claude mcp add haltproof -- uvx haltproof-cli

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs

This listing does not declare its tools. Connect the server and your client will discover them on the handshake.