Verified record · from the answer index
Atomadic Forge
mcptested · static-verifiedscore 35/100signed passport ✓published 65d ago · verified 2026-07-11
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
registry:io.github.atomadictech/atomadic-forge · published by atomadictech · source repository