Atomadic Forge for Claude Code

io.github.atomadictech/atomadic-forge

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

client:Claude Code transport:streamable-http runtime:pypi

Install Atomadic Forge in Claude Code

run in your project directory

claude mcp add --transport http atomadic-forge https://forge.atomadic.tech/mcp

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs