io.github.RudrenduPaul/haltproof

not probeable (local package)

Unclaimed · Unverified

Publisher-provided description

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

Summary by lookupd

Lets an agent run deterministic, fail-closed checks on its own outputs and receive hash-chained receipts as verifiable proof of each result.

Install

Claude Code, pypi package (stdio)

claude mcp add haltproof -- uvx haltproof-cli

Codex, pypi package (stdio)

codex mcp add haltproof -- uvx haltproof-cli

Cursor, pypi package (stdio) → .cursor/mcp.json

{
  "mcpServers": {
    "haltproof": {
      "command": "uvx",
      "args": [
        "haltproof-cli"
      ]
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/io.github.RudrenduPaul/haltproof.svg)](https://lookupd.com/servers/io.github.RudrenduPaul/haltproof)