Atomadic Forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Open source Repository Open in the app JSON
About
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Details
- Kind
- MCP servers
- Topic
- Developer tools
- Publisher
- atomadictech
- Origin
- official
- Category
- ferramentas
- Transport
- http
- Version
- 0.87.0
- Repository state
- sumiu
- Added
- 2026-08-29 03:02:27
- Updated
- 2026-08-29 03:02:27
- Origin id
io.github.atomadictech/atomadic-forge