Atomadic Forge for Cline
io.github.atomadictech/atomadic-forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
client:Cline
transport:streamable-http
runtime:pypi
Install Atomadic Forge in Cline
~/Library/Application Support/Code/User/globalStorage/saoudrizwan.claude-dev/settings/cline_mcp_settings.json · windows: %APPDATA%\Code\User\globalStorage\saoudrizwan.claude-dev\settings\cline_mcp_settings.json
{
"mcpServers": {
"atomadic-forge": {
"url": "https://forge.atomadic.tech/mcp"
}
}
}
Cline's MCP Servers pane edits this file for you if you would rather not find it. Cline docs