MCP Server

Atomadic Forge MCP Server

io.github.atomadictech/atomadic-forge

Repository Registry

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.

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "atomadic-forge": {
      "command": "forge",
      "args": [
        "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 →

Long Run Hybrid Coach

Active

Adaptive running and strength coaching for the long run.

Python

MIT

View repository →

YoAuto MCP

Active

Official YoAuto MCP gateway for vehicle search and marketplace workflows in Moldova.

View repository →

mcp-catalog

Search MCP servers in the public mcp-catalog.ru directory.

mcp-cbr-rates

Maintained

CBR exchange rates and key rates for Russia. MCP tools for finance agents.

Python

MIT

View repository →

mcp-egrul

Maintained

EGRUL/EGRIP company registry lookup for Russian legal entities and entrepreneurs.

Python

MIT

View repository →