Atomadic Forge
io.github.atomadictech/atomadic-forge
95
security score
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Security scan
Last scanned 22 hours ago — static analysis of the published manifest.
- lowManifest makes network requests.