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