Architecture compiler for AI code. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.
Getting started
Add Atomadic Forge to your MCP-capable client — Claude Code, Cursor, Codex, and others — by following the setup at the source, which documents the exact command, configuration, and any required API keys.






