io.github.RudrenduPaul/haltproof
Fail-closed deterministic checks and hash-chained receipts for AI agent outputs via MCP.
MCP server · by RudrenduPaul
About
io.github.RudrenduPaul/haltproof is an MCP server published by RudrenduPaul. Marketplaces we read that list it: 1 (Official MCP Registry). We first saw it on 2026-10-11 and have recorded no change since. As of our marketplace pass on 2026-10-13.
What it asks for
- Runs on your machine
None of the marketplaces we read publishes its tools or the settings it asks for.
What it declares, asks for and runs, in full
Only install plugins from developers you trust. We list what marketplaces publish and do not test plugins.
Package
PyPI haltproof-cli (haltproof-cli on PyPI)
- PyPI downloads/week: 41 (2026-10-13)
- PyPI downloads/month: 109 (2026-10-13)
- Latest version on PyPI: 0.1.3, published 2026-08-11
No known vulnerabilities in OSV for 0.1.3 (checked 2026-10-13)
PyPI facts come from pypi.org, PyPI downloads from pypistats.org. Each figure is the registry's own and is never added to another. A registry that publishes no figure shows none: no number is not zero. Vulnerability records come from OSV.dev (CC BY 4.0) and concern the declared version only; a listing that declares no version gets no answer. We do not scan code.
Works with
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
A one-click link opens the client, which asks you to confirm before it adds the server.
From the marketplaces that list it and the MCP transport it declares, as each client documents them. We do not test plugins.
Connect
Commands and configs built only from what its marketplaces declare. We do not run them for you and do not test plugins.
As a local MCP server: PyPI package
Built from what Official MCP Registry declares.
claude mcp add --transport stdio haltproof -- uvx --from haltproof-cli haltproof-cli haltproof mcp-server[mcp_servers.haltproof]
command = "uvx"
args = ["--from", "haltproof-cli", "haltproof-cli", "haltproof", "mcp-server"]{
"mcpServers": {
"haltproof": {
"command": "uvx",
"args": [
"--from",
"haltproof-cli",
"haltproof-cli",
"haltproof",
"mcp-server"
]
}
}
}Where it is published
| Marketplace | Status | Version | Figures | Verified | First seen |
|---|---|---|---|---|---|
| Official MCP Registry (Open the registry record) | Listed | 0.1.3 | Downloads/month (PyPI): 109 Downloads/week (PyPI): 41 Forks (GitHub): 0 Stars (GitHub): 0 |
Not marked |
Each figure is the marketplace's own and is never added up across marketplaces. A marketplace that publishes no figure shows none: no number is not zero.
What changed
Nothing has moved on this plugin since we started watching it.
Similar plugins
Products whose own names, descriptions, tools and skills are closest in meaning to this one, on every marketplace we read. Closeness is ranked within this list only.
-
agentseal io.github.JoeyBrar/agentseal
Verifiable action logs for AI agents. Every action is recorded in a SHA-256 hash chain.
-
verity-mcp io.github.meloliva14/verity-mcp
Fail-closed verify-before-you-act gate for AI agents. Signed receipts. Pay-per-call via x402.
-
mcp com.pcrzero/mcp
Issue signed receipts for AI agent actions; verify any receipt offline - free, no account.
-
cryptair-mcp-server io.github.Syronius/cryptair-mcp-server
Tamper-evident attestation tools for AI agents — on-chain receipts on Hedera Hashgraph mainnet.
-
proof-layer io.github.World-999-Labs/proof-layer
Signed, hash-chained provenance receipts for AI agent actions.
-
agent-gate io.github.Jott2121/agent-gate
Fail-closed quality gate and hash-chained receipt ledger for AI agent workflows.
-
hrevn-mcp-server io.github.ai-human-andalusia/hrevn-mcp-server
HREVN trust layer for baseline diagnostics and verifiable workflow integrity for AI agents.
-
Private signed AI task receipts with replay checks and optional validated AIPOU claims.
-
evermint-mcp io.github.EverMint-app/evermint-mcp
Mint tamper-evident receipts for AI agent actions. The notary layer for agent-to-agent transactions.
-
vorim-mcp-server io.github.Kzino/vorim-mcp-server
AI agent identity, permissions, trust scores, and tamper-evident audit trails via Vorim AI
Similar plugins by marketplace
The same question asked of one marketplace at a time: is there an analog of this plugin there?
Has a listing on Claude Code: claude-plugins-community (5)
-
MCP security gateway that wraps any MCP server with per-tool policies, Ed25519-signed decision receipts, and human approval gates. Shadow mode (default) logs every tool call…
-
eu-ai-act-compliance-mcp io.github.CSOAI-ORG/eu-ai-act-compliance-mcp
Eu Ai Act Compliance MCP Server by MEOK AI Labs
-
Real-time security filter for MCP tool communications. Works as a Claude Code hook to inspect all data sent to and received from MCP servers. Detects prompt injection, API key…
-
vynn-mcp io.github.beee003/vynn-mcp
Self-improving AI workflows with backtesting, prompt optimization, and scheduling
-
Sovereignty infrastructure for AI agents. Gives your agent encrypted state (AES-256-GCM), self-custodied identity (Ed25519), selective disclosure (Pedersen commitments, Schnorr…
Has a listing on Claude Code: claude-plugins-official (5)
-
Set up endorctl and use Endor Labs to scan, prioritize, and fix security risks across your software supply chain
-
firebase-mcp io.github.firebase/firebase-mcp
Gives AI development tools Firebase-specific capabilities and expertise.
-
mcp-server io.github.cap-js/mcp-server
Model Context Protocol (MCP) server for AI-assisted development of CAP applications.
-
mdk-mcp-server io.github.SAP/mdk-mcp-server
Model Context Protocol (MCP) server for AI-assisted development of MDK applications.
-
Connect Claude to a private MCP server through an Anthropic MCP tunnel. The /create-docker-mcp-tunnel command drives the Docker Compose quickstart end to end: certificates, proxy…
Has a listing on Claude: knowledge-work-plugins (5)
-
The Vanta plugin connects Claude Code to Vanta's security and compliance platform through the Vanta MCP server. It combines Vanta's test-specific remediation intelligence with…
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
Hosted MCP server for AI-assisted Grafana Cloud observability — no local installation required.
-
AI-first project auditor and re-engineer based on the 9 design principles and 7 design patterns from the TechWolf AI-First Bootcamp
-
MCP server for terminal commands, file operations, and process management
Has a listing on Codex: openai-curated (openai/plugins) (5)
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
-
Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…
-
Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.
-
Cloudflare platform plugin with curated skills for Workers, Wrangler, and Agents SDK plus the official Cloudflare API MCP server.
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
Has a listing on Community GitHub marketplaces (5)
-
hushdrop io.github.maxtechera/hushdrop
Open-source artifact sharing for AI agents: private, branded, zero-knowledge links.
-
forkflux-mcp io.github.forkflux/forkflux-mcp
Self-hosted multi-agent collaboration and audit layer for AI-assisted engineering teams
-
ai-agent-firewall com.fidacy/ai-agent-firewall
Every agent action watched, every money-moving one gated, every verdict independently verifiable.
-
4da-mcp-server io.github.4DA-Systems/4da-mcp-server
Upgrade intelligence for AI agents: what an upgrade changes, where it touches your code, CVE scans.
-
openttt-pot io.github.Helm-Protocol/openttt-pot
Cryptographic audit trail for Claude Code workflows — tamper-proof timestamps, IETF TTTPS compliant.
Has a listing on Copilot CLI: github/awesome-copilot (5)
-
Complete toolkit for building Model Context Protocol (MCP) servers in Go using the official github.com/modelcontextprotocol/go-sdk. Includes instructions for best practices, a…
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
-
Complete toolkit for building Model Context Protocol (MCP) servers in Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…
-
Complete toolkit for building Model Context Protocol (MCP) servers in TypeScript/Node.js using the official SDK. Includes instructions for best practices, a prompt for generating…
-
Three-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.
Has a listing on Copilot CLI: github/copilot-plugins (5)
-
Advanced Security plugin for GitHub Copilot.
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
mcp-apps
Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
model-apps
Build and deploy Power Apps generative pages for model-driven apps with specialist agents for planning, entity creation, and parallel code generation. Requires PAC CLI >= 2.7.0…
Has a listing on Cursor: cursor/plugins (5)
-
Let Grok Bot reach MCP servers on your private Tailscale network. Sign in to Tailscale to connect your tailnet; Grok Bot joins it as one tagged device and only reaches the hosts…
-
Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.
-
CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.
-
Build apps, scripts, and automations with the TypeScript SDK.
-
Iterative self-referential AI loops using the Ralph Wiggum technique.
Has a listing on Docker MCP Catalog (5)
-
testkube-mcp io.github.kubeshop/testkube-mcp
MCP server for Testkube - Manage test workflows, executions, and artifacts via AI assistants
-
Discover and connect to a curated marketplace of MCP servers for extending AI agent capabilities.
-
Dynatrace-mcp io.github.dynatrace-oss/Dynatrace-mcp
[DEPRECATED] Dynatrace MCP Server. Migrate to dynatrace-for-ai or Dynatrace Remote MCP Server.
-
Give your AI agents trusted access to the full Postman platform.
-
stackhawk com.stackhawk/stackhawk
An MCP server that provides interaction with StackHawk's security scanning platform.
Has a listing on Official MCP Registry (5)
-
agentseal io.github.JoeyBrar/agentseal
Verifiable action logs for AI agents. Every action is recorded in a SHA-256 hash chain.
-
verity-mcp io.github.meloliva14/verity-mcp
Fail-closed verify-before-you-act gate for AI agents. Signed receipts. Pay-per-call via x402.
-
mcp com.pcrzero/mcp
Issue signed receipts for AI agent actions; verify any receipt offline - free, no account.
-
cryptair-mcp-server io.github.Syronius/cryptair-mcp-server
Tamper-evident attestation tools for AI agents — on-chain receipts on Hedera Hashgraph mainnet.
-
proof-layer io.github.World-999-Labs/proof-layer
Signed, hash-chained provenance receipts for AI agent actions.
Found by meaning, not by shared code or a shared repository: similar plugins stay separate products, and this is not a review or a recommendation.
Is this your plugin?
Add it to your projects and prove you maintain it with a file in its repository, a file on your domain or a DNS record. You get alerts when a marketplace lists it, drops it, changes its verified mark or what it asks for, and its remote endpoint goes on monitoring as a web service.
Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.