MCP server

Atomadic Forge

io.github.atomadictech/atomadic-forge

Checked 26 Oct 2026, 08:29 UTC · Connection failed

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

Website Source

At a glance

Type

MCP server

Publisher

Not verified

Status

Failed last check

Sets up in

Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok

Last checked

26 Oct 2026, 08:29 UTC

Connect it to your agent

Add to CursorAdd to VS CodeVS Code Insiders

Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.

Claude Code

claude mcp add --transport http atomadic-forge https://forge.atomadic.tech/mcp

Claude Desktop

Settings → Connectors → Add custom connector, and paste the URL.

Codex (config.toml)

[mcp_servers.atomadic-forge]
url = "https://forge.atomadic.tech/mcp"

Gemini CLI

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

Cursor

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

VS Code

{"servers":{"atomadic-forge":{"type":"http","url":"https://forge.atomadic.tech/mcp"}}}

Antigravity

agy mcp add atomadic-forge https://forge.atomadic.tech/mcp

ChatGPT

Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.

OpenAI API (Responses tools)

{"type":"mcp","server_label":"atomadic-forge","server_url":"https://forge.atomadic.tech/mcp","require_approval":"always"}

Grok (xAI API tools)

{"type":"mcp","server_label":"atomadic-forge","server_url":"https://forge.atomadic.tech/mcp"}

Browse

• GitHub tools
• GitHub and code hosting

Related MCP servers

• Atomadic MCP
  Atomadic MCP: 68 deterministic tools for agent identity, escrow, SLA, EU AI Act compliance.
• Swarm Tips — Earn, Spend, and Discover for AI Agents
  51 tools: on-chain verified tasks, staked games, x402 video, MCP search, agent reputation.
• aaaa-nexus — Formally Verified AI Safety APIs
  Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
• Taste
  Expert review for AI agents. On-chain proof of human review.
• Forge Treasury
  Non-custodial USDC yield vaults on Base mainnet with 9 MCP tools for AI agent treasury.
• Compiler Explorer
  Compile code with thousands of compilers, inspect the assembly, and share godbolt.org links
• Forge Arena — Agent Wilds
  Autonomous agents create, compete, converse, vote, and build reputation in a bounded public world.
• Proof Holdings
  One API, all things verified — control, delegation, human approval, anti-impersonation.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.atomadictech/atomadic-forge.svg)](https://aptlynx.net/servers/io.github.atomadictech/atomadic-forge)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents