Atomadic Forge
Architecture compiler for AI code.
Community: Submitted by a user or imported; check the owner before granting accessOfflineNo sign-inGlobalFreeRead-only
What it can do
What data it sees
Do you need an account
No: the server works without sign-in
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Tools not fetched yet: the server requires sign-in; the list appears after a manual check.