Atomadic Forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Description supplied by the publisher; it is a claim, not verified evidence.
- Name
- io.github.atomadictech/atomadic-forge
- Listed in
- Official MCP Registry
- Publisher
- Atomadic Tech
- Latest version
- 0.87.0
- Published
- 2026-05-11
- Evidence
- Analyzed by UND Assay