Atomadic Forge について
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
設定
リモートサーバーはインストール不要です。クライアントを選んで設定をコピーするか、ワンクリックで導入できます。
エンドポイント
https://forge.atomadic.tech/mcpインストールコマンドをコピー
Claude CodeTerminal
claude mcp add --transport http atomadictech-atomadic-forge https://forge.atomadic.tech/mcpCursor.cursor/mcp.json
{"mcpServers":{"atomadictech-atomadic-forge":{"type":"http","url":"https://forge.atomadic.tech/mcp"}}}Cursor で開くVS Code.vscode/mcp.json
{"servers":{"atomadictech-atomadic-forge":{"type":"http","url":"https://forge.atomadic.tech/mcp"}}}VS Code で開くClaude Desktopclaude_desktop_config.json
{"mcpServers":{"atomadictech-atomadic-forge":{"type":"http","url":"https://forge.atomadic.tech/mcp"}}}Windsurf~/.codeium/windsurf/mcp_config.json
{"mcpServers":{"atomadictech-atomadic-forge":{"serverUrl":"https://forge.atomadic.tech/mcp"}}}コマンドはターミナルで実行し、JSON は各クライアントの MCP 設定に貼り付けて再起動します。認可が必要なサーバーは初回接続時にログインを求めます。
ツール
詳細
メンテナーはまだ詳細を追加していません。リポジトリの README をご覧ください。
コメント
Markdown 対応
AI アプリケーションが外部のツールやデータソースに統一的な方法で接続するためのオープンなプロトコルです。クライアントはモデルとの対話を担い、MCP サーバーはツール・リソース・プロンプトテンプレートを提供します。標準メッセージでやり取りするため、1 つのサーバーを複数のクライアントで再利用できます。