Haltproof

Overview

Haltproof is an MCP server that delivers fail-closed deterministic checks and hash-chained receipts for AI agent outputs. It lets Claude, Cursor, VS Code, and other MCP clients call Haltproof as native tools, replacing manual copy-paste workflows with integrated verification and audit trails.

The server runs locally via the haltproof-cli Python package, installed with uvx haltproof-cli. No authentication is needed. Version v0.1.3 is available now under the MIT license, with source code at RudrenduPaul/HaltProof on GitHub.

Haltproof belongs in the AI & Agents category on mcp.site and works with MCP clients including Claude Desktop, Claude Code, Cursor, VS Code, Windsurf, and Zed. If you maintain this project, claim this listing to verify ownership and keep details up to date.

Installation

// claude_desktop_config.json
{
  "mcpServers": {
    "haltproof": {
      "command": "uvx",
      "args": [
        "haltproof-cli"
      ]
    }
  }
}