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
| Registry | Package | Version | Transport |
|---|---|---|---|
| PyPIruntime: uvx | haltproof-cli | 0.1.3 | stdio |
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)
| Server | Runs |
|---|---|
| ComputeledgerSigns, hash-chains, and verifies compute usage receipts via an MCP server, no issuer trust required. | Local · stdio |
| ContinuityguardWraps the ContinuityGuard CLI as a single generic MCP tool for video-clip continuity scans. | Local · stdio |
| DeskcertEvaluates whether an AI agent is safe to operate internal web apps via an MCP run_suite tool. | Local · stdio |
| EvolveguardWraps the evolveguard CLI as a single generic MCP tool for agent-skill file safety checks. | Local · stdio |
| Freelancer Payment ProtectionWraps the fpp CLI as a single generic MCP tool for freelancer client payment-risk checks. | Local · stdio |
| GraphkeeperMines git history for file co-change patterns into a queryable knowledge graph via MCP. | Local · stdio |
| InferbenchBenchmarks local LLM inference speed (tokens/sec) on your own hardware via MCP tools. | Local · stdio |
| LlmscoutZero-config SEO and GEO checker: 21 technical-SEO and generative-engine checks for a live site. | Local · stdio |
| MasterytraceWraps the MasteryTrace CLI as a single generic MCP tool for skill-mastery tracking. | Local · stdio |
| MemtrustIndependent, reproducible benchmark harness for agent-memory backends. | Local · stdio |
| NeuronscopeTraces which neurons and attention heads drive a language model's output via MCP tools. | Local · stdio |
| OwnvoiceWraps the ownvoice CLI as a single generic MCP tool for voice/identity checks. | Local · stdio |
More other servers
| Server | Runs |
|---|---|
| H2BIS ProjectBrain MCPConnect AI agents to H2BIS ProjectBrain - manage projects, use cases, and capabilities via MCP. | Local · stdio |
| Hacker Bob public recordsRead-only public CVE records, capability metadata, and agent instructions from Hacker Bob. | Remote · HTTP |
| HaldirGuardian layer for AI agents: identity, secrets, audit via MCP. | Local · stdio |
| HALLUXCheck that a package, module or DOI exists before an agent installs, imports or cites it. | Remote · HTTP |
| HandoffCross-session memory for Claude over MCP — prioritised briefs, supersession, cross-project recall. | Local · stdio |
| 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 · HTTP |
| HandoverShared, versioned context that humans and AI agents can publish, review, annotate, and continue. | Remote · HTTP |
| Hands for AgentsHuman-operated physical world in the EU: make, assemble, measure, verify, ship. | Remote & Local · HTTP, stdio |