Other · Local MCP server

Haltproof

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

What the MCP Registry states

The entry as published to the official MCP Registry (read 2026-10-04), latest version.

Registry name
io.github.RudrenduPaul/haltproof
Version
0.1.3
Status
Active
Category
other
Transport
stdio (local process)
Package
PyPI
Published
2026-08-11
Updated
2026-08-11
Publisher
RudrenduPaul (GitHub) · 34 servers with pages here
Repository
github.com/RudrenduPaul/HaltProof
Source
Registry API entry

Packages

RegistryPackageVersionTransportEnvironment variables
PyPIruntime: uvxhaltproof-cli0.1.3stdioNone declared

How to connect Haltproof

Haltproof runs locally from a Python package published to PyPI: haltproof-cli version 0.1.3. It speaks MCP over stdio, so the client starts it as a program and talks to it through standard input and output. It needs Python; clients usually start it with uvx (from uv) or after pip install — the usual command is uvx haltproof-cli.

In the mcpServers JSON format that many desktop and editor MCP clients read, the entry looks like this (placeholders in angle brackets):

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

Derived from the registry entry, not tested here. What the server does, and on what terms, is set by its publisher; check its repository or website before giving it access to your accounts or files. How to add an MCP server to an assistant · Before you connect

More from RudrenduPaul (GitHub)

All 34 →
ServerRunsEndpoint or package
ComputeledgerSigns, hash-chains, and verifies compute usage receipts via an MCP server, no issuer trust required.Local · stdioPyPI: computeledger-cli
ContinuityguardWraps the ContinuityGuard CLI as a single generic MCP tool for video-clip continuity scans.Local · stdioPyPI: continuityguard-cli
DeskcertEvaluates whether an AI agent is safe to operate internal web apps via an MCP run_suite tool.Local · stdioPyPI: deskcert-cli
EvolveguardWraps the evolveguard CLI as a single generic MCP tool for agent-skill file safety checks.Local · stdioPyPI: evolveguard-cli
Freelancer Payment ProtectionWraps the fpp CLI as a single generic MCP tool for freelancer client payment-risk checks.Local · stdioPyPI: freelancer-payment-protection-cli
GraphkeeperMines git history for file co-change patterns into a queryable knowledge graph via MCP.Local · stdioPyPI: graphkeeper-cli
InferbenchBenchmarks local LLM inference speed (tokens/sec) on your own hardware via MCP tools.Local · stdioPyPI: inferbench-cli
LlmscoutZero-config SEO and GEO checker: 21 technical-SEO and generative-engine checks for a live site.Local · stdioPyPI: llmscout-cli
MasterytraceWraps the MasteryTrace CLI as a single generic MCP tool for skill-mastery tracking.Local · stdioPyPI: masterytrace-cli
MemtrustIndependent, reproducible benchmark harness for agent-memory backends.Local · stdioPyPI: memtrust-cli
NeuronscopeTraces which neurons and attention heads drive a language model's output via MCP tools.Local · stdioPyPI: neuronscope-cli
OwnvoiceWraps the ownvoice CLI as a single generic MCP tool for voice/identity checks.Local · stdioPyPI: ownvoice-cli

More other servers

All 6,730 →
ServerRunsEndpoint or package
H2BIS ProjectBrain MCPConnect AI agents to H2BIS ProjectBrain - manage projects, use cases, and capabilities via MCP.Local · stdionpm: h2bis-mcp
Hacker Bob public recordsRead-only public CVE records, capability metadata, and agent instructions from Hacker Bob.Remote · HTTPhackerbob.ai
HaldirGuardian layer for AI agents: identity, secrets, audit via MCP.Local · stdioPyPI: haldir
HALLUXCheck that a package, module or DOI exists before an agent installs, imports or cites it.Remote · HTTPapi.blvkware.dev
HandoffCross-session memory for Claude over MCP — prioritised briefs, supersession, cross-project recall.Local · stdioPyPI: handoff-mcp
Handoff — shareable agent result pages + human-in-the-loop approval gatesFollowable agent result pages + human-in-the-loop yes/no approval gates before irreversible actions.Remote · HTTPhandoff.notdown-app.workers.dev
HandoverShared, versioned context that humans and AI agents can publish, review, annotate, and continue.Remote · HTTPhandover.sh
Hands for AgentsHuman-operated physical world in the EU: make, assemble, measure, verify, ship.Remote & Local · HTTP, stdiomcp.handsforagents.com