Top pickExplore repositories, review pull requests, and bring your codebase into the conversation.
AT
Atomadic Forge
Published by atomadictechArchitecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
- CATEGORY
- Developer tools
- DEPLOYMENT
- Local and remote
- LATEST SOURCE VERSION
- 0.87.0
- SOURCE CHECKED
- Sep 20, 2026
Published packages
pypi · atomadic-forge@0.87.0Keep exploring.
Top pick
Top pickUp-to-date library documentation and code examples, right inside your coding workflow.
FA
Dedicated IDE Edition. Persistent project context for Cursor, Windsurf, Cline, VS Code.