AIKraft/MCP-серверы/io.github.atomadictech/atomadic-forge

io.github.atomadictech/atomadic-forge

Компилятор архитектуры для ИИ-кода. 11 инструментов, 92 действия, 872 доказательств Lean4, 100/100 самопроверка.

atomadictech Локальный · pypi official

Что это

Компилятор архитектуры для ИИ-кода. 11 инструментов, 92 действия, 872 доказательств Lean4, 100/100 самопроверка.

Как подключить

1Официальный package
pypi · atomadic-forge==0.87.0
2Установить и запустить в терминале
forge atomadic-forge==0.87.0 mcp serve
3Добавить в конфиг MCP-клиента (mcp.json / claude_desktop_config.json)
{ "mcpServers": { "io-github-atomadictech-atomadic-forge": { "command": "forge", "args": [ "atomadic-forge==0.87.0", "mcp", "serve" ] } } }

Вставьте блок в конфиг клиента (Claude Desktop, Claude Code, Cursor, VS Code, Cline). Команда и package собраны из полей официального MCP Registry.