Sonstige · Lokaler MCP-Server

Haltproof

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

Was die MCP Registry angibt

Der Eintrag, wie er in der offiziellen MCP Registry veröffentlicht ist (Stand: 4. Oktober 2026), neueste Version.

Registry-Name
io.github.RudrenduPaul/haltproof
Version
0.1.3
Status
Aktiv
Kategorie
Sonstige
Transport
stdio (lokaler Prozess)
Paket
PyPI
Veröffentlicht
11. August 2026
Aktualisiert
11. August 2026
Herausgeber
RudrenduPaul (GitHub) · 34 Server mit eigener Seite hier
Namensraum
Namensraum von der MCP Registry über GitHub verifiziert (github.com/RudrenduPaul) · So wird verifiziert
Repository
github.com/RudrenduPaul/HaltProof
Quelle
Eintrag in der Registry-API

Pakete

RegistryPaketVersionTransportUmgebungsvariablen
PyPILaufzeitumgebung: uvxhaltproof-cli0.1.3stdioKeine deklariert

So verbinden Sie Haltproof

Haltproof wird lokal ausgeführt, und zwar aus einem auf PyPI veröffentlichten Python-Paket: haltproof-cli, Version 0.1.3. Der Server spricht MCP über stdio: Der Client startet ihn als Programm und kommuniziert mit ihm über Standardein- und -ausgabe. Benötigt wird Python; Clients starten das Paket meist mit uvx (aus uv) oder nach pip install - der übliche Befehl lautet uvx haltproof-cli.

Im JSON-Format mcpServers, das viele MCP-Clients für Desktop und Editor lesen, sieht der Eintrag so aus (Platzhalter in spitzen Klammern):

{
  "mcpServers": {
    "haltproof": {
      "command": "uvx",
      "args": [
        "haltproof-cli"
      ]
    }
  }
}

Abgeleitet aus dem Registry-Eintrag, hier nicht getestet. Was der Server tut und zu welchen Bedingungen, legt sein Herausgeber fest; prüfen Sie sein Repository oder seine Website, bevor Sie ihm Zugriff auf Ihre Konten oder Dateien geben. So fügen Sie einem Assistenten einen MCP-Server hinzu · Vor dem Verbinden

Mehr von RudrenduPaul (GitHub)

Alle 34 →
ServerAusführungEndpunkt oder Paket
ComputeledgerSigns, hash-chains, and verifies compute usage receipts via an MCP server, no issuer trust required.Lokal · stdioPyPI: computeledger-cli
ContinuityguardWraps the ContinuityGuard CLI as a single generic MCP tool for video-clip continuity scans.Lokal · stdioPyPI: continuityguard-cli
DeskcertEvaluates whether an AI agent is safe to operate internal web apps via an MCP run_suite tool.Lokal · stdioPyPI: deskcert-cli
EvolveguardWraps the evolveguard CLI as a single generic MCP tool for agent-skill file safety checks.Lokal · stdioPyPI: evolveguard-cli
Freelancer Payment ProtectionWraps the fpp CLI as a single generic MCP tool for freelancer client payment-risk checks.Lokal · stdioPyPI: freelancer-payment-protection-cli
GraphkeeperMines git history for file co-change patterns into a queryable knowledge graph via MCP.Lokal · stdioPyPI: graphkeeper-cli
InferbenchBenchmarks local LLM inference speed (tokens/sec) on your own hardware via MCP tools.Lokal · stdioPyPI: inferbench-cli
LlmscoutZero-config SEO and GEO checker: 21 technical-SEO and generative-engine checks for a live site.Lokal · stdioPyPI: llmscout-cli
MasterytraceWraps the MasteryTrace CLI as a single generic MCP tool for skill-mastery tracking.Lokal · stdioPyPI: masterytrace-cli
MemtrustIndependent, reproducible benchmark harness for agent-memory backends.Lokal · stdioPyPI: memtrust-cli
NeuronscopeTraces which neurons and attention heads drive a language model's output via MCP tools.Lokal · stdioPyPI: neuronscope-cli
OwnvoiceWraps the ownvoice CLI as a single generic MCP tool for voice/identity checks.Lokal · stdioPyPI: ownvoice-cli

Weitere Server der Kategorie Sonstige

Alle 8.395 →
ServerAusführungEndpunkt oder Paket
HALHAL (HTTP API Layer) - An MCP server that provides HTTP API capabilities to Large Language Models.Lokal · stdionpm: hal-mcp
HaldirGuardian layer for AI agents: identity, secrets, audit via MCP.Lokal · stdioPyPI: haldir
HALLUXCheck that a package, module or DOI exists before an agent installs, imports or cites it.Remote · HTTPLive-Prüfung: ✓ Handshakeapi.blvkware.dev
Halowerk MCP134 paid APIs as MCP tools, billed per call in USDC on Base. No account, no login.Lokal · stdionpm: halowerk-mcp
HandoffCross-session memory for Claude over MCP - prioritised briefs, supersession, cross-project recall.Lokal · stdioPyPI: handoff-mcp
HandoffIT asset management - track equipment, allocations, and digital responsibility terms for your team.Remote · HTTPLive-Prüfung: Anmeldung erforderlichapp.usehandoff.com.br
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 · HTTPhandoff.notdown-app.workers.dev
Handoff MCP ServerDurable agent-to-agent handoffs and shared scratchpad for multi-agent workflows.Remote · HTTPLive-Prüfung: Anmeldung erforderlichhandoff-mcp-server-production.mcp.xpay.sh