io.github.ToremLabs/proof
Управляйте своим ИИ-агентом для написания кода: формулируйте задачи, проверяйте изменения, ведите журнал подписанных решений.
AIToremLabs
Локальный · npm
official
Что это
Управляйте своим ИИ-агентом для написания кода: формулируйте задачи, проверяйте изменения, ведите журнал подписанных решений.
Как подключить
1Официальный package
npm · @toremlabs/proof-mcp@1.0.0
2Установить и запустить в терминале
npx @toremlabs/proof-mcp@1.0.0
3Добавить в конфиг MCP-клиента (mcp.json / claude_desktop_config.json)
{
"mcpServers": {
"io-github-toremlabs-proof": {
"command": "npx",
"args": [
"@toremlabs/proof-mcp@1.0.0"
]
}
}
}
Вставьте блок в конфиг клиента (Claude Desktop, Claude Code, Cursor, VS Code, Cline). Команда и package собраны из полей официального MCP Registry.