io.github.atomadictech/atomadic-forge

Official

Atomadic Forge

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

Compiles AI code architecture with 92 actions and formal verification proofs.

Install

claude_desktop_config.json

{
  "mcpServers": {
    "atomadic-forge": {
      "command": "uvx",
      "args": [
        "atomadic-forge",
        "mcp",
        "serve"
      ]
    }
  }
}