Atomadic Forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
安裝
一鍵安裝
將以下內容加入你的 `claude_desktop_config.json` 檔案：
{
"mcpServers": {
"atomadic-forge": {
"command": "forge",
"args": [
"atomadic-forge"
]
}
}
}可執行的套件
pypiatomadic-forge
0.87.0stdio遠端端點
https://forge.atomadic.tech/mcpstreamable-http它能做什麼
工具清單
尚未記錄任何可發布的工具列舉。
社群
證據
近期觀測
觀測失敗未記錄版本—