MCP server

Haltproof

io.github.RudrenduPaul/haltproof

Checked 26 Oct 2026, 08:31 UTC · Still published on its registry; checked against OSV.dev; never run by us

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

Runs on your computer

Source

At a glance

Type: MCP server
Publisher: Not verified
Status: Runs on your computer
Sets up in: Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code
Last checked: 26 Oct 2026, 08:31 UTC

Connect it to your agent

Add to Cursor Add to VS Code VS Code Insiders

Opens the app, which shows the server and asks you to confirm. It then runs the package on your computer with your permissions. For other apps, copy the setup below.

Claude Code

claude mcp add haltproof -- uvx haltproof-cli@0.1.3

Claude Desktop

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

Codex (config.toml)

[mcp_servers.haltproof]
command = "uvx"
args = ["haltproof-cli@0.1.3"]

Gemini CLI

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

Cursor

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

VS Code

{"servers":{"haltproof":{"type":"stdio","command":"uvx","args":["haltproof-cli@0.1.3"]}}}

Runs on your computer with your permissions: check the package and its source before installing.

Browse

Related MCP servers

Overwing
Guardrails for LLM output: pass / fail / review verdicts and one recommended action. Hosted or npm.
Agent Receipts
Issue & verify signed (ed25519), hash-chained, timestamped provenance receipts for agent actions.
DCL Trust Oracle — AI/LLM Output Audit (x402 MCP)
AI/LLM agent output audit MCP: policy eval, tamper-evident chain, AI safety, x402 USDC on Base.
Inamprotocol Inam
Check an agent's INAM reputation before trusting it, and sign a receipt when work is done.
Bernstein
Verifies Bernstein run receipts and hash chains; lists the shipped presets and adapters. Read-only.
Aziel Runtime
Governed MCP: agent audit, provenance, deterministic checks, and receipt-backed FragGate execution.
Agentsouk
Marketplace for AI agents: hire, sell, get paid in USDC on Base. Identity, jobs, reputation.
Domaindrift
Signed internet telemetry, read-only: DNS, TLS, WHOIS, reachability. Every record Ed25519-signed.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.RudrenduPaul/haltproof.svg)](https://aptlynx.net/servers/io.github.RudrenduPaul/haltproof)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents