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

RegistrePaquetVersionTransportVariables d’environnement
PyPIenvironnement d’exécution : uvxhaltproof-cli0.1.3stdioAucune déclarée

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)

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

Autres serveurs : autres

Voir les 8 395 →
ServeurExécutionPoint de terminaison ou paquet
HALHAL (HTTP API Layer) - An MCP server that provides HTTP API capabilities to Large Language Models.Local · stdionpm : hal-mcp
HaldirGuardian layer for AI agents: identity, secrets, audit via MCP.Local · stdioPyPI : haldir
HALLUXCheck that a package, module or DOI exists before an agent installs, imports or cites it.Distant · HTTPVérification en direct : ✓ poignée de mainapi.blvkware.dev
Halowerk MCP134 paid APIs as MCP tools, billed per call in USDC on Base. No account, no login.Local · stdionpm : halowerk-mcp
HandoffCross-session memory for Claude over MCP - prioritised briefs, supersession, cross-project recall.Local · stdioPyPI : handoff-mcp
HandoffIT asset management - track equipment, allocations, and digital responsibility terms for your team.Distant · HTTPVérification en direct : connexion requiseapp.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.Distant · HTTPhandoff.notdown-app.workers.dev
Handoff MCP ServerDurable agent-to-agent handoffs and shared scratchpad for multi-agent workflows.Distant · HTTPVérification en direct : connexion requisehandoff-mcp-server-production.mcp.xpay.sh