Servers›io.github.atomadictech/atomadic-forge
F

Atomadic Forge✓

io.github.atomadictech/atomadic-forge · v0.87.0
▦ pypi
v0.87.0▦ pypi pypi: atomadic-forge🌐 https://forge.atomadic.tech/mcp↗ Website↗ Repository
ⓘOverview</>Integrate{}server.json
ⓘAbout

Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.

＋Endpoints
streamable-httphttps://forge.atomadic.tech/mcp