Atomadic Forge

Connects Claude to a Python architecture refactoring toolchain that scans codebases and enforces a five-tier layout (constants, functions, composites, features, orchestration). The 11 tools expose operations like recon (AST walking and symbol classification), wire (detecting upward imports), certify (scoring architectural compliance 0-100), graft (pulling functions from external repos into correct tiers), and emergent (finding type-compatible composition chains). Also surfaces a token-savings ledger that logs every operation's impact on LLM context size. Reach for this when you're cleaning up agent-generated code or enforcing import discipline across a Python project. The 872 Lean4 proofs back four monadic laws that prevent I/O in pure tiers and unbounded loops. Self-certified at 100/100.