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

できること

公開できるツールの列挙は記録されていません。

コミュニティ

エビデンス