v0.87.0 更新于 2026-05-11

Atomadic Forge MCP Server

Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.

适用客户端

本地客户端

Claude Desktop、Claude Code、Cursor、Cline 等支持本地 MCP 的客户端

远程接入

任意支持远程 MCP(streamable-http)的客户端,如 Claude、ChatGPT 开发者模式、自建 Agent

本地运行(pypi)

{
  "mcpServers": {
    "atomadic-forge": {
      "command": "uvx",
      "args": [
        "atomadic-forge"
      ]
    }
  }
}

远程接入(streamable-http)

{
  "mcpServers": {
    "atomadic-forge": {
      "url": "https://forge.atomadic.tech/mcp"
    }
  }
}

将上方 JSON 加入 MCP 客户端配置(如 Claude Desktop 的 claude_desktop_config.json 或项目的 .mcp.json)即可接入;远程接入按客户端要求填写 URL 与鉴权头。