Otros · Servidor MCP local
Haltproof
Fail-closed deterministic checks and hash-chained receipts for AI agent outputs via MCP.
Lo que indica el MCP Registry
La entrada tal como está publicada en el MCP Registry oficial (consultada el 4 de octubre de 2026), última versión.
- Nombre en el registro
io.github.RudrenduPaul/haltproof- Versión
- 0.1.3
- Estado
- Activo
- Categoría
- otros
- Transporte
- stdio (proceso local)
- Paquete
- PyPI
- Publicado
- 11 de agosto de 2026
- Actualizado
- 11 de agosto de 2026
- Editor
- RudrenduPaul (GitHub) · 34 servidores con página aquí
- Espacio de nombres
- Espacio de nombres verificado por el MCP Registry mediante GitHub (github.com/RudrenduPaul) · cómo
- Repositorio
- github.com/RudrenduPaul/HaltProof
- Fuente
- Entrada en la API del registro
Paquetes
| Registro | Paquete | Versión | Transporte |
|---|---|---|---|
| PyPIentorno de ejecución: uvx | haltproof-cli | 0.1.3 | stdio |
Cómo conectar Haltproof
Haltproof se ejecuta en local a partir de un paquete de Python publicado en PyPI: haltproof-cli, versión 0.1.3. Usa MCP mediante stdio, así que el cliente lo inicia como programa y se comunica con él a través de la entrada y salida estándar. Necesita Python; los clientes suelen iniciarlo con uvx (de uv) o tras pip install - el comando habitual es uvx haltproof-cli.
En el formato JSON mcpServers que leen muchos clientes MCP de escritorio y de editores de código, la entrada tiene este aspecto (marcadores de posición entre corchetes angulares):
{
"mcpServers": {
"haltproof": {
"command": "uvx",
"args": [
"haltproof-cli"
]
}
}
}Obtenido de la entrada del registro, sin probar aquí. Lo que hace el servidor, y en qué condiciones, lo determina su editor; conviene revisar su repositorio o sitio web antes de darle acceso a cuentas o archivos propios. Cómo añadir un servidor MCP a un asistente · Antes de conectar
Más de RudrenduPaul (GitHub)
| Servidor | Ejecución |
|---|---|
| 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 |
Más servidores de otros
| Servidor | Ejecución |
|---|---|
| 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. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| 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. | Remoto · HTTPComprobación en directo: requiere inicio de sesión |
| 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 · HTTPComprobación en directo: requiere inicio de sesión |