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-forge0.87.0stdio

远程端点

https://forge.atomadic.tech/mcpstreamable-http

它能做什么

工具清单

尚未记录任何可发布的工具枚举。

社区

评价此服务器

证据

最近观测

观测失败未记录版本—