io.github.RudrenduPaul/haltproof
Детерминированные проверки с отказом в закрытом режиме и хэш-цепочки квитанций для выходов AI-агентов через MCP.
AIRudrenduPaul
Локальный · pypi
official
Что это
Детерминированные проверки с отказом в закрытом режиме и хэш-цепочки квитанций для выходов AI-агентов через MCP.
Как подключить
1Официальный package
pypi · haltproof-cli==0.1.3
2Установить и запустить в терминале
uvx --from haltproof-cli haltproof-cli==0.1.3 haltproof mcp-server
3Добавить в конфиг MCP-клиента (mcp.json / claude_desktop_config.json)
{
"mcpServers": {
"io-github-rudrendupaul-haltproof": {
"command": "uvx",
"args": [
"--from",
"haltproof-cli",
"haltproof-cli==0.1.3",
"haltproof",
"mcp-server"
]
}
}
}
Вставьте блок в конфиг клиента (Claude Desktop, Claude Code, Cursor, VS Code, Cline). Команда и package собраны из полей официального MCP Registry.