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它能做什么
工具清单
尚未记录任何可发布的工具枚举。
社区
证据
最近观测
观测失败未记录版本—