Autres · Serveur MCP local
Haltproof
Fail-closed deterministic checks and hash-chained receipts for AI agent outputs via MCP.
Ce qu’indique le MCP Registry
L’entrée telle que publiée dans le MCP Registry officiel (consultée le 4 octobre 2026), dernière version.
- Nom dans le registre
io.github.RudrenduPaul/haltproof- Version
- 0.1.3
- Statut
- Actif
- Catégorie
- autres
- Transport
- stdio (processus local)
- Paquet
- PyPI
- Publié
- 11 août 2026
- Mis à jour
- 11 août 2026
- Éditeur
- RudrenduPaul (GitHub) · 34 serveurs avec une page ici
- Espace de noms
- Espace de noms vérifié par le MCP Registry via GitHub (github.com/RudrenduPaul) · comment
- Dépôt
- github.com/RudrenduPaul/HaltProof
- Source
- Entrée dans l’API du registre
Paquets
| Registre | Paquet | Version | Transport |
|---|---|---|---|
| PyPIenvironnement d’exécution : uvx | haltproof-cli | 0.1.3 | stdio |
Comment connecter Haltproof
Haltproof s’exécute en local depuis un paquet Python publié sur PyPI : haltproof-cli, version 0.1.3. Il communique en MCP via stdio : le client le lance comme un programme et échange avec lui par l’entrée et la sortie standard. Il nécessite Python ; les clients le lancent généralement avec uvx (fourni par uv) ou après pip install - la commande habituelle est uvx haltproof-cli.
Au format JSON mcpServers, que lisent de nombreux clients MCP de bureau et éditeurs de code, l’entrée se présente ainsi (espaces réservés entre chevrons) :
{
"mcpServers": {
"haltproof": {
"command": "uvx",
"args": [
"haltproof-cli"
]
}
}
}Déduit de l’entrée du registre, non testé ici. Ce que fait le serveur, et à quelles conditions, relève de son éditeur ; consultez son dépôt ou son site web avant de lui donner accès à vos comptes ou à vos fichiers. Comment ajouter un serveur MCP à un assistant · Avant de connecter un serveur
Du même éditeur : RudrenduPaul (GitHub)
| Serveur | Exécution |
|---|---|
| ComputeledgerSigns, hash-chains, and verifies compute usage receipts via an MCP server, no issuer trust required. | Local · stdio |
| ContinuityguardWraps the ContinuityGuard CLI as a single generic MCP tool for video-clip continuity scans. | Local · stdio |
| DeskcertEvaluates whether an AI agent is safe to operate internal web apps via an MCP run_suite tool. | Local · stdio |
| EvolveguardWraps the evolveguard CLI as a single generic MCP tool for agent-skill file safety checks. | Local · stdio |
| Freelancer Payment ProtectionWraps the fpp CLI as a single generic MCP tool for freelancer client payment-risk checks. | Local · stdio |
| GraphkeeperMines git history for file co-change patterns into a queryable knowledge graph via MCP. | Local · stdio |
| InferbenchBenchmarks local LLM inference speed (tokens/sec) on your own hardware via MCP tools. | Local · stdio |
| LlmscoutZero-config SEO and GEO checker: 21 technical-SEO and generative-engine checks for a live site. | Local · stdio |
| MasterytraceWraps the MasteryTrace CLI as a single generic MCP tool for skill-mastery tracking. | Local · stdio |
| MemtrustIndependent, reproducible benchmark harness for agent-memory backends. | Local · stdio |
| NeuronscopeTraces which neurons and attention heads drive a language model's output via MCP tools. | Local · stdio |
| OwnvoiceWraps the ownvoice CLI as a single generic MCP tool for voice/identity checks. | Local · stdio |
Autres serveurs : autres
| Serveur | Exécution |
|---|---|
| HALHAL (HTTP API Layer) - An MCP server that provides HTTP API capabilities to Large Language Models. | Local · stdio |
| HaldirGuardian layer for AI agents: identity, secrets, audit via MCP. | Local · stdio |
| HALLUXCheck that a package, module or DOI exists before an agent installs, imports or cites it. | Distant · HTTPVérification en direct : ✓ poignée de main |
| Halowerk MCP134 paid APIs as MCP tools, billed per call in USDC on Base. No account, no login. | Local · stdio |
| HandoffCross-session memory for Claude over MCP - prioritised briefs, supersession, cross-project recall. | Local · stdio |
| HandoffIT asset management - track equipment, allocations, and digital responsibility terms for your team. | Distant · HTTPVérification en direct : connexion requise |
| 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. | Distant · HTTP |
| Handoff MCP ServerDurable agent-to-agent handoffs and shared scratchpad for multi-agent workflows. | Distant · HTTPVérification en direct : connexion requise |