Altro · Server MCP locale

Haltproof

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

Cosa indica il MCP Registry

La voce come pubblicata nel MCP Registry ufficiale (consultazione: 4 ottobre 2026), ultima versione.

Nome nel registro
io.github.RudrenduPaul/haltproof
Versione
0.1.3
Stato
Attivo
Categoria
altro
Trasporto
stdio (processo locale)
Pacchetto
PyPI
Pubblicato
11 agosto 2026
Aggiornato
11 agosto 2026
Editore
RudrenduPaul (GitHub) · 34 server con una pagina qui
Namespace
Namespace verificato dal MCP Registry tramite GitHub (github.com/RudrenduPaul) · come funziona
Repository
github.com/RudrenduPaul/HaltProof
Fonte
Voce nell’API del registro

Pacchetti

RegistroPacchettoVersioneTrasportoVariabili d’ambiente
PyPIruntime: uvxhaltproof-cli0.1.3stdioNessuna dichiarata

Come collegare Haltproof

Haltproof viene eseguito in locale a partire da un pacchetto Python pubblicato su PyPI: haltproof-cli, versione 0.1.3. Comunica via MCP su stdio, quindi il client lo avvia come programma e dialoga con esso tramite standard input e standard output. Richiede Python; i client in genere lo avviano con uvx (di uv) o dopo pip install - il comando abituale è uvx haltproof-cli.

Nel formato JSON mcpServers, letto da molti client MCP desktop e per editor di codice, la voce si presenta così (segnaposto tra parentesi angolari):

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

Ricavato dalla voce del registro, non testato qui. Cosa fa il server, e a quali condizioni, lo stabilisce il suo editore; prima di concedergli l’accesso ai propri account o file conviene consultarne il repository o il sito web. Come aggiungere un server MCP a un assistente · Prima di collegare un server

Altri server di RudrenduPaul (GitHub)

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

Altri server della categoria altro

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