Overig · Lokale MCP-server

Haltproof

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

Wat de MCP Registry vermeldt

De vermelding zoals gepubliceerd in de officiële MCP Registry (geraadpleegd op 4 oktober 2026), nieuwste versie.

Registernaam
io.github.RudrenduPaul/haltproof
Versie
0.1.3
Status
Actief
Categorie
overig
Transport
stdio (lokaal proces)
Pakket
PyPI
Gepubliceerd
11 augustus 2026
Bijgewerkt
11 augustus 2026
Uitgever
RudrenduPaul (GitHub) · 34 servers met een pagina hier
Namespace
Namespace door de MCP Registry geverifieerd via GitHub (github.com/RudrenduPaul) · hoe
Repository
github.com/RudrenduPaul/HaltProof
Bron
Vermelding in de register-API

Pakketten

RegisterPakketVersieTransportOmgevingsvariabelen
PyPIruntime: uvxhaltproof-cli0.1.3stdioNiets opgegeven

Zo verbind je Haltproof

Haltproof draait lokaal vanuit een Python-pakket dat op PyPI is gepubliceerd: haltproof-cli, versie 0.1.3. Hij spreekt MCP via stdio, dus de client start hem als programma en communiceert ermee via standaardinvoer en -uitvoer. Hij vereist Python; clients starten het meestal met uvx (uit uv) of na pip install - het gebruikelijke commando is uvx haltproof-cli.

In het JSON-formaat mcpServers, dat veel MCP-clients voor desktop en code-editors lezen, ziet de vermelding er zo uit (tijdelijke aanduidingen tussen punthaken):

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

Afgeleid van de registervermelding, hier niet getest. Wat de server doet en onder welke voorwaarden, bepaalt de uitgever; bekijk de repository of website voordat je de server toegang geeft tot je accounts of bestanden. Een MCP-server aan een assistent toevoegen · Voordat je verbinding maakt

Meer van RudrenduPaul (GitHub)

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

Meer servers in de categorie overig

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