io.github.RudrenduPaul/haltproof MCP Server

io.github.RudrenduPaul/haltproof

Repository Registry

What is the io.github.RudrenduPaul/haltproof MCP server?

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

How to install io.github.RudrenduPaul/haltproof

Copy-paste configuration for popular MCP clients.

transport: stdio

Config generated by PluginBench — verify against the source before use.

~/Library/Application Support/Claude/claude_desktop_config.json

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

Related MCP servers

io.github.RudrenduPaul/inferbench

Active

Benchmarks local LLM inference speed (tokens/sec) on your own hardware via MCP tools.

Python

Apache-2.0

View repository →

io.github.RudrenduPaul/llmscout

Active

Zero-config SEO and GEO checker: 21 technical-SEO and generative-engine checks for a live site.

Python

MIT

View repository →

io.github.RudrenduPaul/masterytrace

Active

Wraps the MasteryTrace CLI as a single generic MCP tool for skill-mastery tracking.

Python

MIT

View repository →

io.github.RudrenduPaul/memtrust

Active

Independent, reproducible benchmark harness for agent-memory backends.

Python

Apache-2.0

View repository →

io.github.RudrenduPaul/neuronscope

Active

Traces which neurons and attention heads drive a language model's output via MCP tools.

Python

MIT

View repository →

io.github.RudrenduPaul/ownvoice

Active

Wraps the ownvoice CLI as a single generic MCP tool for voice/identity checks.

Python

MIT

View repository →