HaltProof
Rank #23,220io.github.RudrenduPaul/haltproof
Fail-closed deterministic checks and hash-chained receipts for AI agent outputs via MCP.
HaltProof is a Model Context Protocol (MCP) server published by RudrenduPaul. It ranks #23,220 of 107,144 servers tracked on MCP Toplist. HaltProof is listed across 2 registries — Official MCP and Glama, with 1 tracked version. It was first listed on Aug 4, 2026 and most recently updated on Aug 11, 2026.
Ranks ahead of 83,924 of 107,144 servers on MCP Toplist.
Use HaltProof
No credentials or required configuration declared — add it to your MCP client and go.
claude mcp add haltproof -- uvx --from haltproof-cli haltproof-cli haltproof mcp-server[mcp_servers.haltproof]
command = "uvx"
args = ["--from", "haltproof-cli", "haltproof-cli", "haltproof", "mcp-server"]Add to ~/.codex/config.toml.
{
"mcpServers": {
"haltproof": {
"command": "uvx",
"args": [
"--from",
"haltproof-cli",
"haltproof-cli",
"haltproof",
"mcp-server"
]
}
}
}Add to claude_desktop_config.json (Settings → Developer → Edit Config).
{
"mcpServers": {
"haltproof": {
"command": "uvx",
"args": [
"--from",
"haltproof-cli",
"haltproof-cli",
"haltproof",
"mcp-server"
]
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project).
{
"servers": {
"haltproof": {
"type": "stdio",
"command": "uvx",
"args": [
"--from",
"haltproof-cli",
"haltproof-cli",
"haltproof",
"mcp-server"
]
}
}
}Save as .vscode/mcp.json in your workspace.
{
"mcpServers": {
"haltproof": {
"command": "uvx",
"args": [
"--from",
"haltproof-cli",
"haltproof-cli",
"haltproof",
"mcp-server"
]
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
{
"mcpServers": {
"haltproof": {
"command": "uvx",
"args": [
"--from",
"haltproof-cli",
"haltproof-cli",
"haltproof",
"mcp-server"
]
}
}
}Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/io.github.RudrenduPaul%2Fhaltproof)<a href="https://mcptoplist.com/server/io.github.RudrenduPaul%2Fhaltproof"><img src="https://mcptoplist.com/badge/io.github.RudrenduPaul%2Fhaltproof.svg" alt="MCP Toplist: Top 25% of 107,144" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 2 registries
RudrenduPaul
Other servers by RudrenduPaul
- WorkloadTruth MCP Server#16,133 · 1 ver
- NeuronScope MCP Server#16,506 · 1 ver
- ReleaseGuard MCP Server#21,158 · 1 ver
- DeskCert MCP Server#23,219 · 1 ver
- ComputeLedger MCP Server#23,874 · 1 ver
- TruthRoute#25,419 · 1 ver
- agent-eval#71,509 · 1 ver
- agent-observability#71,510 · 1 ver
- AgenticWorkspace#71,511 · 1 ver
- auditreach#71,512 · 1 ver
- ContinuityGuard#71,513 · 1 ver
- evolveguard#71,514 · 1 ver
Available versions (1)
| Version | Published |
|---|---|
| 0.1.3 | Aug 11, 2026 |
Frequently asked questions
- Who maintains HaltProof?
- HaltProof is maintained by RudrenduPaul, which publishes 35 MCP servers (34 total versions) tracked on MCP Toplist.
- Is HaltProof listed on the Official MCP Registry?
- Yes — HaltProof is listed on the Official MCP Registry, alongside Glama.
- How many versions does HaltProof have?
- MCP Toplist tracks 1 version of HaltProof, most recently published on Aug 11, 2026.
- Where can I find the source code for HaltProof?
- The source code for HaltProof is hosted at github.com/RudrenduPaul/HaltProof.