Ext Ops Panel
Abrir o painel

io.github.RudrenduPaul/haltproof

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

Servidor MCP · de RudrenduPaul

Conectar Comparar Reivindicar

Resumo

io.github.RudrenduPaul/haltproof é um servidor MCP publicado por RudrenduPaul. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Vimos pela primeira vez em 2026-10-11 e não registramos mudanças desde então. Conforme nossa passagem pelos marketplaces em 2026-10-13.

O que pede

  • Roda na sua máquina

Nenhum dos marketplaces que lemos publica as ferramentas ou as configurações que ele pede.

O que declara, pede e executa, por completo

Instale apenas plugins de desenvolvedores em quem você confia. Mostramos o que os marketplaces publicam e não testamos plugins.

Pacote

PyPI haltproof-cli (haltproof-cli no PyPI)

  • Downloads do PyPI por semana: 41 (2026-10-13)
  • Downloads do PyPI por mês: 109 (2026-10-13)
  • Última versão no PyPI: 0.1.3, publicada em 2026-08-11

Nenhuma vulnerabilidade conhecida no OSV para 0.1.3 (verificado em 2026-10-13)

Os dados do PyPI vêm do pypi.org e os downloads do PyPI do pypistats.org. Cada número é do próprio registro e nunca é somado a outro. Um registro que não publica um número não mostra nenhum: sem número não é zero. Os registros de vulnerabilidades vêm do OSV.dev (CC BY 4.0) e dizem respeito apenas à versão declarada; uma listagem sem versão declarada não recebe resposta. Não analisamos código.

Funciona com

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

Um link de um clique abre o cliente, que pede confirmação antes de adicionar o servidor.

Pelos marketplaces que o listam e pelo transporte MCP que declara, conforme cada cliente documenta. Não testamos plugins.

Conectar

Comandos e configurações gerados apenas a partir do que os marketplaces declaram. Não os executamos por você e não testamos plugins.

Como servidor MCP local: pacote PyPI

Gerado a partir do que Official MCP Registry declara.

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"
      ]
    }
  }
}

Onde está publicado

MarketplaceStatusVersãoNúmerosVerificadoVisto pela primeira vez
Official MCP Registry (Abrir o registro) Listado 0.1.3 Downloads por mês (PyPI): 109
Downloads por semana (PyPI): 41
Forks (GitHub): 0
Estrelas (GitHub): 0		 Sem marcação

Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.

O que mudou

Nada mudou neste plugin desde que começamos a acompanhá-lo.

Plugins semelhantes

Produtos cujos próprios nomes, descrições, ferramentas e skills são os mais próximos deste pelo significado, em todos os marketplaces que lemos. A proximidade é ordenada apenas dentro desta 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

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • 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

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • mcp com.pcrzero/mcp

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

    de pcrzero.com · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • 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

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

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

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

    de World-999-Labs · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

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

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

    de Jott2121 · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • 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

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • AI Proof of Us

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

    de 0xddneto · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • 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

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • 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

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

Plugins semelhantes por marketplace

A mesma pergunta feita a cada marketplace separadamente: existe lá um equivalente deste plugin?

Listado em 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 · Pacote de plugins

    Listado em: Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • 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

    Listado em: Official MCP Registry, Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • 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 · Pacote de plugins

    Listado em: Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

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

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

    de beee003 · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • 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 · Pacote de plugins

    Listado em: Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

Listado em 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 · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

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

    Gives AI development tools Firebase-specific capabilities and expertise.

    de firebase · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-official · Descreve quase a mesma tarefa

  • 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

    Listado em: Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • 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

    Listado em: Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • 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 · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official · Descreve quase a mesma tarefa

Listado em 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 · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • 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 · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Copilot CLI: github/awesome-copilot · Descreve quase a mesma tarefa

  • Grafana Cloud MCP

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

    de grafana · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Community GitHub marketplaces · Descreve quase a mesma tarefa

  • 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 · Pacote de plugins

    Listado em: Claude: knowledge-work-plugins, Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • Desktop Commander

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

    de wonderwhy-er · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-official, Docker MCP Catalog, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community, Community GitHub marketplaces · Descreve quase a mesma tarefa

Listado em 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 · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official, Codex: openai-curated (openai/plugins), Copilot CLI: github/awesome-copilot, Community GitHub marketplaces, Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • 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 · Pacote de plugins

    Listado em: Codex: openai-curated (openai/plugins) · Descreve quase a mesma tarefa

  • OpenAI Developers

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

    de OpenAI · Pacote de plugins

    Listado em: Codex: openai-curated (openai/plugins) · Descreve quase a mesma tarefa

  • Cloudflare

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

    de Cloudflare · Pacote de plugins

    Listado em: Codex: openai-curated (openai/plugins) · Descreve quase a mesma tarefa

  • 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 · Pacote de plugins

    Listado em: Codex: openai-curated (openai/plugins) · Descreve quase a mesma tarefa

Listado em 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

    Listado em: Official MCP Registry, Community GitHub marketplaces · Descreve quase a mesma tarefa

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

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

    de forkflux · Servidor MCP

    Listado em: Official MCP Registry, Community GitHub marketplaces · Descreve quase a mesma tarefa

  • 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

    Listado em: Official MCP Registry, Community GitHub marketplaces · Descreve quase a mesma tarefa

  • 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

    Listado em: Official MCP Registry, Community GitHub marketplaces · Descreve quase a mesma tarefa

  • 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

    Listado em: Official MCP Registry, Community GitHub marketplaces · Descreve quase a mesma tarefa

Listado em 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 · Pacote de plugins

    Listado em: Copilot CLI: github/awesome-copilot · Descreve quase a mesma tarefa

  • BLEA

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

    de Nitmi · Servidor MCP

    Listado em: Official MCP Registry, Copilot CLI: github/awesome-copilot · Descreve quase a mesma tarefa

  • 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 · Pacote de plugins

    Listado em: Copilot CLI: github/awesome-copilot · Descreve quase a mesma tarefa

  • 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 · Pacote de plugins

    Listado em: Copilot CLI: github/awesome-copilot · Descreve quase a mesma tarefa

  • 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 · Pacote de plugins

    Listado em: Copilot CLI: github/awesome-copilot · Descreve quase a mesma tarefa

Listado em Copilot CLI: github/copilot-plugins (5)

  • advanced-security

    Advanced Security plugin for GitHub Copilot.

    de github · Pacote de plugins

    Listado em: Copilot CLI: github/copilot-plugins · Descreve quase a mesma tarefa

  • microsoft-365-agents-toolkit

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

    de microsoft · Pacote de plugins

    Listado em: Copilot CLI: github/copilot-plugins · Descreve quase a mesma tarefa

  • mcp-apps

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

    de microsoft · Pacote de plugins

    Listado em: Copilot CLI: github/copilot-plugins · Descreve quase a mesma tarefa

  • azure-devops-copilot-plugin

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

    de microsoft · Pacote de plugins

    Listado em: Copilot CLI: github/copilot-plugins · Descreve quase a mesma tarefa

  • 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 · Pacote de plugins

    Listado em: Copilot CLI: github/copilot-plugins · Descreve quase a mesma tarefa

Listado em 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 · Pacote de plugins

    Listado em: Cursor: cursor/plugins · Descreve quase a mesma tarefa

  • Orchestrate

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

    de Cursor · Pacote de plugins

    Listado em: Cursor: cursor/plugins · Descreve quase a mesma tarefa

  • Agent Compatibility

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

    de Cursor · Pacote de plugins

    Listado em: Cursor: cursor/plugins · Descreve quase a mesma tarefa

  • Cursor SDK

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

    de Cursor · Pacote de plugins

    Listado em: Cursor: cursor/plugins · Descreve quase a mesma tarefa

  • Ralph Loop

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

    de Cursor · Pacote de plugins

    Listado em: Cursor: cursor/plugins · Descreve quase a mesma tarefa

Listado em 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

    Listado em: Official MCP Registry, Docker MCP Catalog · Descreve quase a mesma tarefa

  • OpenMesh

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

    de docker · Servidor MCP

    Listado em: Docker MCP Catalog · Descreve quase a mesma tarefa

  • 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

    Listado em: Official MCP Registry, Docker MCP Catalog · Descreve quase a mesma tarefa

  • Postman MCP Server

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

    de postman.com · Servidor MCP

    Listado em: Official MCP Registry, Docker MCP Catalog · Descreve quase a mesma tarefa

  • stackhawk com.stackhawk/stackhawk

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

    de stackhawk.com · Servidor MCP

    Listado em: Official MCP Registry, Docker MCP Catalog · Descreve quase a mesma tarefa

Listado em 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

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • 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

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • mcp com.pcrzero/mcp

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

    de pcrzero.com · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • 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

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

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

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

    de World-999-Labs · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

Encontrados pelo significado, não por código ou repositório em comum: plugins semelhantes continuam sendo produtos distintos, e isto não é uma avaliação nem uma recomendação.

Este plugin é seu?

Adicione-o aos seus projetos e prove que o mantém com um arquivo no repositório, um arquivo no seu domínio ou um registro DNS. Você recebe alertas quando um marketplace o publica, o remove, muda a marca de verificado ou o que ele pede, e o endpoint remoto passa a ser monitorado como um serviço web.

Adicionar aos seus projetos Veja o que o painel faz

Dados de Official MCP Registry. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.

De onde vêm os dados: como o catálogo é montado