MCP MCP server · io.github.atomadictech
io.github.atomadictech/atomadic-forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
- host stars
- —
- 30-day movement
- starts with the next reading
- Related entries
- 1
- Connections
- 0
pypibothstdiostreamable-http
- Runs
- both
- Transport
- streamable-http, stdio
- Packaged as
- pypi:atomadic-forge
- Install
- uvx atomadic-forge
- Version
- 0.87.0
- Last release
- 2026-05-11