Haltproof runs on your own machine — the client starts it, so there is no endpoint to ping. 141 installs a week from pypi. Last commit 25 Aug 2026.
Fail-closed deterministic checks and hash-chained receipts for AI agent outputs via MCP.
What the code does
We read the source, 11 h ago · rules 3dff92dd89df
What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.
const result = spawnSync(checkCommand, [PYTHON_CLI_NAME], {
proc = subprocess.run(
return dict(os.environ)
Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.
This code can reach further than it looks
We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.
Connect this server
This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.
claude mcp add haltproof -- uvx haltproof-cli{
"mcpServers": {
"haltproof": {
"args": [
"haltproof-cli"
],
"command": "uvx"
}
}
}[mcp_servers.haltproof]
command = "uvx"
args = ["haltproof-cli"]{
"mcpServers": {
"haltproof": {
"args": [
"haltproof-cli"
],
"command": "uvx"
}
}
}{
"mcpServers": {
"haltproof": {
"args": [
"haltproof-cli"
],
"command": "uvx"
}
}
}Alternatives to Haltproof
same job, measured the same wayFail-closed quality gate and hash-chained receipt ledger for AI agent workflows.
Signed, hash-chained provenance receipts for AI agent actions.
Deterministic IBAN/LEI/VAT/SWIFT/rental-fraud checks via MCP; x402 USDC per call, signed receipts.
Local deterministic project memory for AI agents with context packs, gates and checkpoints.
Deterministic dev tools for AI agents over MCP: hashing, encoding, formatting, codegen, and more.
MCP compliance proxy between agent and tools: deterministic governance, fail-closed, audit trail.
Fail-closed action authorization, MCP risk scanning, x402 checks, and signed receipts.
Deterministic, fail-closed planner for KCP knowledge manifests: kcp_plan, kcp_load, kcp_validate.
Haltproof — questions
Answers built from our own checks of this server.