Server record / io.github.RudrenduPaul/haltproof
haltproof
Fail-closed deterministic checks and hash-chained receipts for AI agent outputs via MCP.
Runnable packages
No supported package or remote endpoint is listed in the current Registry record.
Tool inventory
No publishable tool enumeration has been recorded.
Recent observations
This server has Registry metadata but no public verification run yet.