PluginBench
MCP Server

Atomadic Forge MCP Server

io.github.atomadictech/atomadic-forge

RepositoryRegistry

What is the Atomadic Forge MCP server?

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

How to install Atomadic Forge

Copy-paste configuration for popular MCP clients.

transport: stdio
Config generated by PluginBench — verify against the source before use.
Claude Desktop
~/Library/Application Support/Claude/claude_desktop_config.json
{
  "mcpServers": {
    "atomadic-forge": {
      "command": "forge",
      "args": [
        "atomadic-forge",
        "mcp",
        "serve"
      ]
    }
  }
}
Cursor
~/.cursor/mcp.json
{
  "mcpServers": {
    "atomadic-forge": {
      "command": "forge",
      "args": [
        "atomadic-forge",
        "mcp",
        "serve"
      ]
    }
  }
}
Windsurf
~/.codeium/windsurf/mcp_config.json
{
  "mcpServers": {
    "atomadic-forge": {
      "command": "forge",
      "args": [
        "atomadic-forge",
        "mcp",
        "serve"
      ]
    }
  }
}
VS Code
.vscode/mcp.json
{
  "servers": {
    "atomadic-forge": {
      "type": "stdio",
      "command": "forge",
      "args": [
        "atomadic-forge",
        "mcp",
        "serve"
      ]
    }
  }
}
Claude Code
claude mcp add atomadic-forge -- forge atomadic-forge mcp serve

Related MCP servers

aaaa-nexus — Formally Verified AI Safety APIs

Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.

View repository →