LocalFree

HaltProof MCP server

RudrenduPaul/HaltProof

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

0 GitHub stars
Source code

Install HaltProof in Claude Code

Claude Code
claude mcp add haltproof -- uvx haltproof-cli
mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)
{
  "mcpServers": {
    "haltproof": {
      "command": "uvx",
      "args": [
        "haltproof-cli"
      ]
    }
  }
}

Frequently asked questions

What does the HaltProof MCP server do?

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

Is the HaltProof MCP server free?

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Does HaltProof run locally or remotely?

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

How do I add HaltProof to Claude Code?

Run: claude mcp add haltproof -- uvx haltproof-cli

More ai agents & coding agents MCP servers

View all

harness-summit

0855

anthonyleung-dev/harness-summit

Let coding agents on one machine message and wake each other. Run harness-summit install first.

LocalFree

gutsy

0

kouhxp/gutsy-mcp

Local gut check before risky agent actions: calibrated safe/intended probabilities, no API calls.

LocalFree

Heddle

davet47/heddle

Content-addressed contracts and a verification cache that cut agent context by skipping proven code.

LocalFree

GuardRails

0

TAM-DS/guardrails-mcp

Local prompt regression tracker with six fictional cases and evidence for human review.

LocalFree

Helloaigent Subscriber

0

helloaigent-dev/helloaigent-subscriber

Subscribe your agent to Hello Aigent feeds: discover, fetch signed updates, verify, and act.

LocalFree

Gru953 Crew

GRU-953/gru953-crew

GRU953 Crew's autonomous multi-agent coding method, exposed as callable MCP tools.

LocalFree