Atomadic Forge
MCPby atomadictech · v0.87.0
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
mcplocal
MCP configuration
stdio
Command
forge atomadic-forge==0.87.0 mcp serve
Install in one click with Zurek
Browse here, install from the native macOS app — pick targets, fill env vars, and write configs safely.