Ext Ops Panel
Abrir el panel

io.github.RudrenduPaul/haltproof

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

Servidor MCP · de RudrenduPaul

Conectar Comparar Reclamar

Resumen

io.github.RudrenduPaul/haltproof es un servidor MCP publicado por RudrenduPaul. Marketplaces que leemos y que lo publican: 1 (Official MCP Registry). Lo vimos por primera vez el 2026-10-11 y desde entonces no hemos registrado cambios. Según nuestra pasada por los marketplaces del 2026-10-13.

Qué pide

  • Se ejecuta en tu equipo

Ninguno de los marketplaces que leemos publica sus herramientas ni los ajustes que pide.

Lo que declara, pide y ejecuta, completo

Instale solo plugins de desarrolladores en los que confíe. Mostramos lo que publican los marketplaces y no probamos plugins.

Paquete

PyPI haltproof-cli (haltproof-cli en PyPI)

  • Descargas de PyPI por semana: 41 (2026-10-13)
  • Descargas de PyPI por mes: 109 (2026-10-13)
  • Última versión en PyPI: 0.1.3, publicada el 2026-08-11

Sin vulnerabilidades conocidas en OSV para 0.1.3 (comprobado el 2026-10-13)

Los datos de PyPI proceden de pypi.org y las descargas de PyPI de pypistats.org. Cada cifra es del propio registro y nunca se suma a otra. Un registro que no publica una cifra no muestra ninguna: sin cifra no es cero. Los registros de vulnerabilidades proceden de OSV.dev (CC BY 4.0) y solo se refieren a la versión declarada; un listado sin versión declarada no recibe respuesta. No analizamos código.

Funciona con

  • Claude Code
  • Codex
  • Cursor
  • VS Code
  • Copilot CLI
Instalar en CursorInstalar en VS Code

Un enlace de un clic abre el cliente, que pide confirmación antes de añadir el servidor.

Según los marketplaces que lo listan y el transporte MCP que declara, tal como lo documenta cada cliente. No probamos plugins.

Conectar

Comandos y configuraciones generados solo a partir de lo que declaran sus marketplaces. No los ejecutamos por usted ni probamos plugins.

Como servidor MCP local: paquete PyPI

Generado a partir de lo que declara Official MCP Registry.

Claude CodeTerminal
claude mcp add --transport stdio haltproof -- uvx --from haltproof-cli haltproof-cli haltproof mcp-server
Codex~/.codex/config.toml
[mcp_servers.haltproof]
command = "uvx"
args = ["--from", "haltproof-cli", "haltproof-cli", "haltproof", "mcp-server"]
Cursor~/.cursor/mcp.json
{
  "mcpServers": {
    "haltproof": {
      "command": "uvx",
      "args": [
        "--from",
        "haltproof-cli",
        "haltproof-cli",
        "haltproof",
        "mcp-server"
      ]
    }
  }
}

Dónde está publicado

MarketplaceEstadoVersiónCifrasVerificadoVisto por primera vez
Official MCP Registry (Abrir el registro) Publicado 0.1.3 Descargas por mes (PyPI): 109
Descargas por semana (PyPI): 41
Forks (GitHub): 0
Estrellas (GitHub): 0		 Sin marca

Cada cifra es del propio marketplace y nunca se suma entre marketplaces. Un marketplace que no publica cifras no muestra ninguna: sin número no es cero.

Qué cambió

Nada ha cambiado en este plugin desde que lo seguimos.

Plugins similares

Productos cuyos propios nombres, descripciones, herramientas y skills son los más cercanos a este por su significado, en todos los marketplaces que leemos. La cercanía se ordena solo dentro de esta lista.

  • agentseal io.github.JoeyBrar/agentseal

    Verifiable action logs for AI agents. Every action is recorded in a SHA-256 hash chain.

    de JoeyBrar · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

  • verity-mcp io.github.meloliva14/verity-mcp

    Fail-closed verify-before-you-act gate for AI agents. Signed receipts. Pay-per-call via x402.

    de meloliva14 · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

  • mcp com.pcrzero/mcp

    Issue signed receipts for AI agent actions; verify any receipt offline - free, no account.

    de pcrzero.com · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

  • cryptair-mcp-server io.github.Syronius/cryptair-mcp-server

    Tamper-evident attestation tools for AI agents — on-chain receipts on Hedera Hashgraph mainnet.

    de Syronius · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

  • proof-layer io.github.World-999-Labs/proof-layer

    Signed, hash-chained provenance receipts for AI agent actions.

    de World-999-Labs · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

  • agent-gate io.github.Jott2121/agent-gate

    Fail-closed quality gate and hash-chained receipt ledger for AI agent workflows.

    de Jott2121 · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

  • hrevn-mcp-server io.github.ai-human-andalusia/hrevn-mcp-server

    HREVN trust layer for baseline diagnostics and verifiable workflow integrity for AI agents.

    de ai-human-andalusia · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

  • AI Proof of Us

    Private signed AI task receipts with replay checks and optional validated AIPOU claims.

    de 0xddneto · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

  • evermint-mcp io.github.EverMint-app/evermint-mcp

    Mint tamper-evident receipts for AI agent actions. The notary layer for agent-to-agent transactions.

    de EverMint-app · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

  • vorim-mcp-server io.github.Kzino/vorim-mcp-server

    AI agent identity, permissions, trust scores, and tamper-evident audit trails via Vorim AI

    de Kzino · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

Plugins similares por marketplace

La misma pregunta a cada marketplace por separado: ¿hay allí un equivalente de este plugin?

Publicado en Claude Code: claude-plugins-community (5)

  • protect-mcp

    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…

    de tomjwxf · Paquete de plugins

    Publicado en: Claude Code: claude-plugins-community · Describe casi la misma tarea

  • eu-ai-act-compliance-mcp io.github.CSOAI-ORG/eu-ai-act-compliance-mcp

    Eu Ai Act Compliance MCP Server by MEOK AI Labs

    de CSOAI-ORG · Servidor MCP

    Publicado en: Official MCP Registry, Claude Code: claude-plugins-community · Describe casi la misma tarea

  • mcp-yoshi

    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…

    de aliksir · Paquete de plugins

    Publicado en: Claude Code: claude-plugins-community · Describe casi la misma tarea

  • vynn-mcp io.github.beee003/vynn-mcp

    Self-improving AI workflows with backtesting, prompt optimization, and scheduling

    de beee003 · Servidor MCP

    Publicado en: Official MCP Registry, Claude Code: claude-plugins-community · Describe casi la misma tarea

  • sanctuary-framework

    Sovereignty infrastructure for AI agents. Gives your agent encrypted state (AES-256-GCM), self-custodied identity (Ed25519), selective disclosure (Pedersen commitments, Schnorr…

    de eriknewton · Paquete de plugins

    Publicado en: Claude Code: claude-plugins-community · Describe casi la misma tarea

Publicado en Claude Code: claude-plugins-official (5)

  • Endor Labs Agent Kit

    Set up endorctl and use Endor Labs to scan, prioritize, and fix security risks across your software supply chain

    de endorlabs · Paquete de plugins

    Publicado en: Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Describe casi la misma tarea

  • firebase-mcp io.github.firebase/firebase-mcp

    Gives AI development tools Firebase-specific capabilities and expertise.

    de firebase · Servidor MCP

    Publicado en: Official MCP Registry, Claude Code: claude-plugins-official · Describe casi la misma tarea

  • mcp-server io.github.cap-js/mcp-server

    Model Context Protocol (MCP) server for AI-assisted development of CAP applications.

    de cap-js · Servidor MCP

    Publicado en: Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Describe casi la misma tarea

  • mdk-mcp-server io.github.SAP/mdk-mcp-server

    Model Context Protocol (MCP) server for AI-assisted development of MDK applications.

    de SAP · Servidor MCP

    Publicado en: Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Describe casi la misma tarea

  • mcp-tunnels

    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…

    de Anthropic · Paquete de plugins

    Publicado en: Claude Code: claude-plugins-official · Describe casi la misma tarea

Publicado en Claude: knowledge-work-plugins (5)

  • vanta

    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…

    de VantaInc · Paquete de plugins

    Publicado en: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community · Describe casi la misma tarea

  • figma

    Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…

    de figma · Paquete de plugins

    Publicado en: Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Copilot CLI: github/awesome-copilot · Describe casi la misma tarea

  • Grafana Cloud MCP

    Hosted MCP server for AI-assisted Grafana Cloud observability — no local installation required.

    de grafana · Paquete de plugins

    Publicado en: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Community GitHub marketplaces · Describe casi la misma tarea

  • AI-Firstify

    AI-first project auditor and re-engineer based on the 9 design principles and 7 design patterns from the TechWolf AI-First Bootcamp

    de techwolf-ai · Paquete de plugins

    Publicado en: Claude: knowledge-work-plugins, Claude Code: claude-plugins-community · Describe casi la misma tarea

  • Desktop Commander

    MCP server for terminal commands, file operations, and process management

    de wonderwhy-er · Servidor MCP

    Publicado en: Official MCP Registry, Claude Code: claude-plugins-official, Docker MCP Catalog, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community, Community GitHub marketplaces · Describe casi la misma tarea

Publicado en Codex: openai-curated (openai/plugins) (5)

  • crowdstrike-falcon-foundry

    CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…

    de CrowdStrike · Paquete de plugins

    Publicado en: Claude Code: claude-plugins-official, Codex: openai-curated (openai/plugins), Copilot CLI: github/awesome-copilot, Community GitHub marketplaces, Claude Code: claude-plugins-community · Describe casi la misma tarea

  • NVIDIA

    Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…

    de NVIDIA · Paquete de plugins

    Publicado en: Codex: openai-curated (openai/plugins) · Describe casi la misma tarea

  • OpenAI Developers

    Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.

    de OpenAI · Paquete de plugins

    Publicado en: Codex: openai-curated (openai/plugins) · Describe casi la misma tarea

  • Cloudflare

    Cloudflare platform plugin with curated skills for Workers, Wrangler, and Agents SDK plus the official Cloudflare API MCP server.

    de Cloudflare · Paquete de plugins

    Publicado en: Codex: openai-curated (openai/plugins) · Describe casi la misma tarea

  • Plugin Eval

    Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.

    de OpenAI Codex · Paquete de plugins

    Publicado en: Codex: openai-curated (openai/plugins) · Describe casi la misma tarea

Publicado en Community GitHub marketplaces (5)

  • hushdrop io.github.maxtechera/hushdrop

    Open-source artifact sharing for AI agents: private, branded, zero-knowledge links.

    de maxtechera · Servidor MCP

    Publicado en: Official MCP Registry, Community GitHub marketplaces · Describe casi la misma tarea

  • forkflux-mcp io.github.forkflux/forkflux-mcp

    Self-hosted multi-agent collaboration and audit layer for AI-assisted engineering teams

    de forkflux · Servidor MCP

    Publicado en: Official MCP Registry, Community GitHub marketplaces · Describe casi la misma tarea

  • ai-agent-firewall com.fidacy/ai-agent-firewall

    Every agent action watched, every money-moving one gated, every verdict independently verifiable.

    de fidacy.com · Servidor MCP

    Publicado en: Official MCP Registry, Community GitHub marketplaces · Describe casi la misma tarea

  • 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.

    de 4DA-Systems · Servidor MCP

    Publicado en: Official MCP Registry, Community GitHub marketplaces · Describe casi la misma tarea

  • openttt-pot io.github.Helm-Protocol/openttt-pot

    Cryptographic audit trail for Claude Code workflows — tamper-proof timestamps, IETF TTTPS compliant.

    de Helm-Protocol · Servidor MCP

    Publicado en: Official MCP Registry, Community GitHub marketplaces · Describe casi la misma tarea

Publicado en Copilot CLI: github/awesome-copilot (5)

  • go-mcp-development

    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…

    de Awesome Copilot Community · Paquete de plugins

    Publicado en: Copilot CLI: github/awesome-copilot · Describe casi la misma tarea

  • BLEA

    Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.

    de Nitmi · Servidor MCP

    Publicado en: Official MCP Registry, Copilot CLI: github/awesome-copilot · Describe casi la misma tarea

  • kotlin-mcp-development

    Complete toolkit for building Model Context Protocol (MCP) servers in Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…

    de Awesome Copilot Community · Paquete de plugins

    Publicado en: Copilot CLI: github/awesome-copilot · Describe casi la misma tarea

  • typescript-mcp-development

    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…

    de Awesome Copilot Community · Paquete de plugins

    Publicado en: Copilot CLI: github/awesome-copilot · Describe casi la misma tarea

  • doublecheck

    Three-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.

    de Awesome Copilot Community · Paquete de plugins

    Publicado en: Copilot CLI: github/awesome-copilot · Describe casi la misma tarea

Publicado en Copilot CLI: github/copilot-plugins (5)

  • advanced-security

    Advanced Security plugin for GitHub Copilot.

    de github · Paquete de plugins

    Publicado en: Copilot CLI: github/copilot-plugins · Describe casi la misma tarea

  • microsoft-365-agents-toolkit

    Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.

    de microsoft · Paquete de plugins

    Publicado en: Copilot CLI: github/copilot-plugins · Describe casi la misma tarea

  • mcp-apps

    Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.

    de microsoft · Paquete de plugins

    Publicado en: Copilot CLI: github/copilot-plugins · Describe casi la misma tarea

  • azure-devops-copilot-plugin

    Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.

    de microsoft · Paquete de plugins

    Publicado en: Copilot CLI: github/copilot-plugins · Describe casi la misma tarea

  • 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…

    de microsoft · Paquete de plugins

    Publicado en: Copilot CLI: github/copilot-plugins · Describe casi la misma tarea

Publicado en Cursor: cursor/plugins (5)

  • Tailscale

    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…

    de Cursor · Paquete de plugins

    Publicado en: Cursor: cursor/plugins · Describe casi la misma tarea

  • Orchestrate

    Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.

    de Cursor · Paquete de plugins

    Publicado en: Cursor: cursor/plugins · Describe casi la misma tarea

  • Agent Compatibility

    CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.

    de Cursor · Paquete de plugins

    Publicado en: Cursor: cursor/plugins · Describe casi la misma tarea

  • Cursor SDK

    Build apps, scripts, and automations with the TypeScript SDK.

    de Cursor · Paquete de plugins

    Publicado en: Cursor: cursor/plugins · Describe casi la misma tarea

  • Ralph Loop

    Iterative self-referential AI loops using the Ralph Wiggum technique.

    de Cursor · Paquete de plugins

    Publicado en: Cursor: cursor/plugins · Describe casi la misma tarea

Publicado en Docker MCP Catalog (5)

  • testkube-mcp io.github.kubeshop/testkube-mcp

    MCP server for Testkube - Manage test workflows, executions, and artifacts via AI assistants

    de kubeshop · Servidor MCP

    Publicado en: Official MCP Registry, Docker MCP Catalog · Describe casi la misma tarea

  • OpenMesh

    Discover and connect to a curated marketplace of MCP servers for extending AI agent capabilities.

    de docker · Servidor MCP

    Publicado en: Docker MCP Catalog · Describe casi la misma tarea

  • Dynatrace-mcp io.github.dynatrace-oss/Dynatrace-mcp

    [DEPRECATED] Dynatrace MCP Server. Migrate to dynatrace-for-ai or Dynatrace Remote MCP Server.

    de dynatrace-oss · Servidor MCP

    Publicado en: Official MCP Registry, Docker MCP Catalog · Describe casi la misma tarea

  • Postman MCP Server

    Give your AI agents trusted access to the full Postman platform.

    de postman.com · Servidor MCP

    Publicado en: Official MCP Registry, Docker MCP Catalog · Describe casi la misma tarea

  • stackhawk com.stackhawk/stackhawk

    An MCP server that provides interaction with StackHawk's security scanning platform.

    de stackhawk.com · Servidor MCP

    Publicado en: Official MCP Registry, Docker MCP Catalog · Describe casi la misma tarea

Publicado en 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.

    de JoeyBrar · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

  • verity-mcp io.github.meloliva14/verity-mcp

    Fail-closed verify-before-you-act gate for AI agents. Signed receipts. Pay-per-call via x402.

    de meloliva14 · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

  • mcp com.pcrzero/mcp

    Issue signed receipts for AI agent actions; verify any receipt offline - free, no account.

    de pcrzero.com · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

  • cryptair-mcp-server io.github.Syronius/cryptair-mcp-server

    Tamper-evident attestation tools for AI agents — on-chain receipts on Hedera Hashgraph mainnet.

    de Syronius · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

  • proof-layer io.github.World-999-Labs/proof-layer

    Signed, hash-chained provenance receipts for AI agent actions.

    de World-999-Labs · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

Encontrados por significado, no por código ni repositorio compartidos: los plugins similares siguen siendo productos distintos, y esto no es una reseña ni una recomendación.

¿Es tu plugin?

Añádelo a tus proyectos y demuestra que lo mantienes con un archivo en su repositorio, un archivo en tu dominio o un registro DNS. Recibirás avisos cuando un marketplace lo publique, lo retire, cambie su marca verificada o lo que pide, y su endpoint remoto quedará monitorizado como un servicio web.

Añadir a tus proyectos Descubre qué hace el panel

Datos de Official MCP Registry. Las cifras proceden de nuestros propios recorridos periódicos por los marketplaces, leída por última vez el . No publicamos datos de contacto de los editores de plugins.

De dónde salen los datos: cómo se elabora el catálogo