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
| Registry | Paket | Version | Transport |
|---|---|---|---|
| PyPILaufzeitumgebung: uvx | haltproof-cli | 0.1.3 | stdio |
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)
| Server | Ausführung |
|---|---|
| ComputeledgerSigns, hash-chains, and verifies compute usage receipts via an MCP server, no issuer trust required. | Lokal · stdio |
| ContinuityguardWraps the ContinuityGuard CLI as a single generic MCP tool for video-clip continuity scans. | Lokal · stdio |
| DeskcertEvaluates whether an AI agent is safe to operate internal web apps via an MCP run_suite tool. | Lokal · stdio |
| EvolveguardWraps the evolveguard CLI as a single generic MCP tool for agent-skill file safety checks. | Lokal · stdio |
| Freelancer Payment ProtectionWraps the fpp CLI as a single generic MCP tool for freelancer client payment-risk checks. | Lokal · stdio |
| GraphkeeperMines git history for file co-change patterns into a queryable knowledge graph via MCP. | Lokal · stdio |
| InferbenchBenchmarks local LLM inference speed (tokens/sec) on your own hardware via MCP tools. | Lokal · stdio |
| LlmscoutZero-config SEO and GEO checker: 21 technical-SEO and generative-engine checks for a live site. | Lokal · stdio |
| MasterytraceWraps the MasteryTrace CLI as a single generic MCP tool for skill-mastery tracking. | Lokal · stdio |
| MemtrustIndependent, reproducible benchmark harness for agent-memory backends. | Lokal · stdio |
| NeuronscopeTraces which neurons and attention heads drive a language model's output via MCP tools. | Lokal · stdio |
| OwnvoiceWraps the ownvoice CLI as a single generic MCP tool for voice/identity checks. | Lokal · stdio |
Weitere Server der Kategorie Sonstige
| Server | Ausführung |
|---|---|
| HALHAL (HTTP API Layer) - An MCP server that provides HTTP API capabilities to Large Language Models. | Lokal · stdio |
| HaldirGuardian layer for AI agents: identity, secrets, audit via MCP. | Lokal · stdio |
| HALLUXCheck that a package, module or DOI exists before an agent installs, imports or cites it. | Remote · HTTPLive-Prüfung: ✓ Handshake |
| Halowerk MCP134 paid APIs as MCP tools, billed per call in USDC on Base. No account, no login. | Lokal · stdio |
| HandoffCross-session memory for Claude over MCP - prioritised briefs, supersession, cross-project recall. | Lokal · stdio |
| HandoffIT asset management - track equipment, allocations, and digital responsibility terms for your team. | Remote · HTTPLive-Prüfung: Anmeldung erforderlich |
| 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 · HTTP |
| Handoff MCP ServerDurable agent-to-agent handoffs and shared scratchpad for multi-agent workflows. | Remote · HTTPLive-Prüfung: Anmeldung erforderlich |