Ext Ops Panel
Dashboard öffnen

io.github.RudrenduPaul/haltproof

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

MCP-Server · von RudrenduPaul

Verbinden Vergleichen Beanspruchen

Überblick

io.github.RudrenduPaul/haltproof ist ein MCP-Server von RudrenduPaul. Marktplätze, die wir lesen und die es listen: 1 (Official MCP Registry). Wir haben es erstmals am 2026-10-11 gesehen und seither keine Änderung erfasst. Stand unseres Marktplatz-Durchlaufs vom 2026-10-14.

Was es abfragt

  • Läuft auf Ihrem Rechner

Keiner der Marktplätze, die wir lesen, veröffentlicht seine Tools oder die abgefragten Einstellungen.

Was es deklariert, abfragt und ausführt, vollständig

Installieren Sie nur Plugins von Entwicklern, denen Sie vertrauen. Wir zeigen, was die Marktplätze veröffentlichen, und testen keine Plugins.

Paket

PyPI haltproof-cli (haltproof-cli auf PyPI)

  • PyPI-Downloads pro Woche: 41 (2026-10-13)
  • PyPI-Downloads pro Monat: 109 (2026-10-13)
  • Neueste Version auf PyPI: 0.1.3, veröffentlicht am 2026-08-11

Keine bekannten Schwachstellen in OSV für 0.1.3 (geprüft am 2026-10-13)

Die PyPI-Angaben stammen von pypi.org, die PyPI-Downloads von pypistats.org. Jede Zahl gehört ihrem Register und wird nie mit einer anderen addiert. Ein Register, das keine Zahl veröffentlicht, zeigt keine: keine Zahl ist nicht null. Die Schwachstelleneinträge stammen von OSV.dev (CC BY 4.0) und betreffen nur die angegebene Version; ein Eintrag ohne Version erhält keine Antwort. Wir scannen keinen Code.

Funktioniert mit

  • Claude Code
  • Codex
  • Cursor
  • VS Code
  • Copilot CLI
In Cursor installierenIn VS Code installieren

Ein Ein-Klick-Link öffnet den Client, der vor dem Hinzufügen des Servers um Bestätigung bittet.

Nach den Marktplätzen, die ihn listen, und dem angegebenen MCP-Transport, wie jeder Client sie dokumentiert. Wir testen keine Plugins.

Verbinden

Befehle und Konfigurationen nur aus den Angaben der Marktplätze. Wir führen sie nicht für Sie aus und testen keine Plugins.

Als lokaler MCP-Server: PyPI-Paket

Erstellt aus den Angaben von 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"
      ]
    }
  }
}

Wo es veröffentlicht ist

MarktplatzStatusVersionZahlenVerifiziertErstmals gesehen
Official MCP Registry (Eintrag in der Registry öffnen) Gelistet 0.1.3 Downloads pro Monat (PyPI): 109
Downloads pro Woche (PyPI): 41
Forks (GitHub): 0
Sterne (GitHub): 0		 Nicht markiert

Jede Zahl stammt vom jeweiligen Marktplatz und wird nie über Marktplätze hinweg addiert. Ein Marktplatz ohne veröffentlichte Zahl zeigt keine: keine Zahl ist nicht null.

Was sich geändert hat

Bei diesem Plugin hat sich nichts bewegt, seit wir es beobachten.

Ähnliche Plugins

Produkte, deren eigene Namen, Beschreibungen, Werkzeuge und Skills diesem der Bedeutung nach am nächsten sind, auf allen Marktplätzen, die wir lesen. Die Nähe ist nur innerhalb dieser Liste geordnet.

  • agentseal io.github.JoeyBrar/agentseal

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

    von JoeyBrar · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

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

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

    von meloliva14 · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

  • mcp com.pcrzero/mcp

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

    von pcrzero.com · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

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

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

    von Syronius · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

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

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

    von World-999-Labs · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

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

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

    von Jott2121 · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

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

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

    von ai-human-andalusia · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

  • AI Proof of Us

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

    von 0xddneto · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

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

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

    von EverMint-app · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

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

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

    von Kzino · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

Ähnliche Plugins nach Marktplatz

Dieselbe Frage an jeden Marktplatz einzeln: Gibt es dort ein Gegenstück zu diesem Plugin?

Gelistet auf 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…

    von tomjwxf · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-community · Beschreibt nahezu dieselbe Aufgabe

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

    Eu Ai Act Compliance MCP Server by MEOK AI Labs

    von CSOAI-ORG · MCP-Server

    Gelistet auf: Official MCP Registry, Claude Code: claude-plugins-community · Beschreibt nahezu dieselbe Aufgabe

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

    von aliksir · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-community · Beschreibt nahezu dieselbe Aufgabe

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

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

    von beee003 · MCP-Server

    Gelistet auf: Official MCP Registry, Claude Code: claude-plugins-community · Beschreibt nahezu dieselbe Aufgabe

  • sanctuary-framework

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

    von eriknewton · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-community · Beschreibt nahezu dieselbe Aufgabe

Gelistet auf 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

    von endorlabs · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Beschreibt nahezu dieselbe Aufgabe

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

    Gives AI development tools Firebase-specific capabilities and expertise.

    von firebase · MCP-Server

    Gelistet auf: Official MCP Registry, Claude Code: claude-plugins-official · Beschreibt nahezu dieselbe Aufgabe

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

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

    von cap-js · MCP-Server

    Gelistet auf: Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Beschreibt nahezu dieselbe Aufgabe

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

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

    von SAP · MCP-Server

    Gelistet auf: Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Beschreibt nahezu dieselbe Aufgabe

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

    von Anthropic · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-official · Beschreibt nahezu dieselbe Aufgabe

Gelistet auf 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…

    von VantaInc · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

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

    von figma · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Copilot CLI: github/awesome-copilot · Beschreibt nahezu dieselbe Aufgabe

  • Grafana Cloud MCP

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

    von grafana · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

  • 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

    von techwolf-ai · Plugin-Paket

    Gelistet auf: Claude: knowledge-work-plugins, Claude Code: claude-plugins-community, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

  • Desktop Commander

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

    von wonderwhy-er · MCP-Server

    Gelistet auf: Official MCP Registry, Claude Code: claude-plugins-official, Docker MCP Catalog, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

Gelistet auf 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…

    von CrowdStrike · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-official, Codex: openai-curated (openai/plugins), Copilot CLI: github/awesome-copilot, Community GitHub marketplaces, Claude Code: claude-plugins-community · Beschreibt nahezu dieselbe Aufgabe

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

    von NVIDIA · Plugin-Paket

    Gelistet auf: Codex: openai-curated (openai/plugins) · Beschreibt nahezu dieselbe Aufgabe

  • OpenAI Developers

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

    von OpenAI · Plugin-Paket

    Gelistet auf: Codex: openai-curated (openai/plugins) · Beschreibt nahezu dieselbe Aufgabe

  • Cloudflare

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

    von Cloudflare · Plugin-Paket

    Gelistet auf: Codex: openai-curated (openai/plugins) · Beschreibt nahezu dieselbe Aufgabe

  • Plugin Eval

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

    von OpenAI Codex · Plugin-Paket

    Gelistet auf: Codex: openai-curated (openai/plugins) · Beschreibt nahezu dieselbe Aufgabe

Gelistet auf Community GitHub marketplaces (5)

  • hushdrop io.github.maxtechera/hushdrop

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

    von maxtechera · MCP-Server

    Gelistet auf: Official MCP Registry, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

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

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

    von forkflux · MCP-Server

    Gelistet auf: Official MCP Registry, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

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

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

    von fidacy.com · MCP-Server

    Gelistet auf: Official MCP Registry, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

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

    von 4DA-Systems · MCP-Server

    Gelistet auf: Official MCP Registry, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

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

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

    von Helm-Protocol · MCP-Server

    Gelistet auf: Official MCP Registry, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

Gelistet auf 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…

    von Awesome Copilot Community · Plugin-Paket

    Gelistet auf: Copilot CLI: github/awesome-copilot · Beschreibt nahezu dieselbe Aufgabe

  • BLEA

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

    von Nitmi · MCP-Server

    Gelistet auf: Official MCP Registry, Copilot CLI: github/awesome-copilot · Beschreibt nahezu dieselbe Aufgabe

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

    von Awesome Copilot Community · Plugin-Paket

    Gelistet auf: Copilot CLI: github/awesome-copilot · Beschreibt nahezu dieselbe Aufgabe

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

    von Awesome Copilot Community · Plugin-Paket

    Gelistet auf: Copilot CLI: github/awesome-copilot · Beschreibt nahezu dieselbe Aufgabe

  • doublecheck

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

    von Awesome Copilot Community · Plugin-Paket

    Gelistet auf: Copilot CLI: github/awesome-copilot · Beschreibt nahezu dieselbe Aufgabe

Gelistet auf Copilot CLI: github/copilot-plugins (5)

  • advanced-security

    Advanced Security plugin for GitHub Copilot.

    von github · Plugin-Paket

    Gelistet auf: Copilot CLI: github/copilot-plugins · Beschreibt nahezu dieselbe Aufgabe

  • microsoft-365-agents-toolkit

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

    von microsoft · Plugin-Paket

    Gelistet auf: Copilot CLI: github/copilot-plugins · Beschreibt nahezu dieselbe Aufgabe

  • mcp-apps

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

    von microsoft · Plugin-Paket

    Gelistet auf: Copilot CLI: github/copilot-plugins · Beschreibt nahezu dieselbe Aufgabe

  • azure-devops-copilot-plugin

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

    von microsoft · Plugin-Paket

    Gelistet auf: Copilot CLI: github/copilot-plugins · Beschreibt nahezu dieselbe Aufgabe

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

    von microsoft · Plugin-Paket

    Gelistet auf: Copilot CLI: github/copilot-plugins · Beschreibt nahezu dieselbe Aufgabe

Gelistet auf 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…

    von Cursor · Plugin-Paket

    Gelistet auf: Cursor: cursor/plugins · Beschreibt nahezu dieselbe Aufgabe

  • Orchestrate

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

    von Cursor · Plugin-Paket

    Gelistet auf: Cursor: cursor/plugins · Beschreibt nahezu dieselbe Aufgabe

  • Agent Compatibility

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

    von Cursor · Plugin-Paket

    Gelistet auf: Cursor: cursor/plugins · Beschreibt nahezu dieselbe Aufgabe

  • Cursor SDK

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

    von Cursor · Plugin-Paket

    Gelistet auf: Cursor: cursor/plugins · Beschreibt nahezu dieselbe Aufgabe

  • Ralph Loop

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

    von Cursor · Plugin-Paket

    Gelistet auf: Cursor: cursor/plugins · Beschreibt nahezu dieselbe Aufgabe

Gelistet auf Docker MCP Catalog (5)

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

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

    von kubeshop · MCP-Server

    Gelistet auf: Official MCP Registry, Docker MCP Catalog · Beschreibt nahezu dieselbe Aufgabe

  • OpenMesh

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

    von docker · MCP-Server

    Gelistet auf: Docker MCP Catalog · Beschreibt nahezu dieselbe Aufgabe

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

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

    von dynatrace-oss · MCP-Server

    Gelistet auf: Official MCP Registry, Docker MCP Catalog · Beschreibt nahezu dieselbe Aufgabe

  • Postman MCP Server

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

    von postman.com · MCP-Server

    Gelistet auf: Official MCP Registry, Docker MCP Catalog · Beschreibt nahezu dieselbe Aufgabe

  • stackhawk com.stackhawk/stackhawk

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

    von stackhawk.com · MCP-Server

    Gelistet auf: Official MCP Registry, Docker MCP Catalog · Beschreibt nahezu dieselbe Aufgabe

Gelistet auf 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.

    von JoeyBrar · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

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

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

    von meloliva14 · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

  • mcp com.pcrzero/mcp

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

    von pcrzero.com · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

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

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

    von Syronius · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

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

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

    von World-999-Labs · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

Nach Bedeutung gefunden, nicht über gemeinsamen Code oder ein gemeinsames Repository: Ähnliche Plugins bleiben getrennte Produkte, und dies ist weder eine Bewertung noch eine Empfehlung.

Ist das Ihr Plugin?

Fügen Sie es Ihren Projekten hinzu und belegen Sie, dass Sie es pflegen: mit einer Datei im Repository, einer Datei auf Ihrer Domain oder einem DNS-Eintrag. Sie erhalten Hinweise, wenn ein Marktplatz es aufnimmt, entfernt, sein Verified-Zeichen oder seine Anforderungen ändert, und sein Remote-Endpunkt wird wie ein Webdienst überwacht.

Zu Ihren Projekten hinzufügen Ansehen, was das Panel kann

Daten von Official MCP Registry. Die Zahlen stammen aus unseren eigenen regelmäßigen Durchläufen über die Marktplätze, zuletzt abgerufen am . Kontaktdaten von Plugin-Herausgebern veröffentlichen wir nicht.

Woher die Daten stammen: wie der Katalog entsteht