Atomadic Forge for Gemini CLI
io.github.atomadictech/atomadic-forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
client:Gemini CLI
transport:streamable-http
runtime:pypi
Install Atomadic Forge in Gemini CLI
~/.gemini/settings.json · windows: %USERPROFILE%\.gemini\settings.json
{
"mcpServers": {
"atomadic-forge": {
"httpUrl": "https://forge.atomadic.tech/mcp"
}
}
}
Gemini expands $VAR and ${VAR} inside env values, so a secret can live in your shell rather than this file. Gemini CLI docs