← all MCP servers
Atomadic Forge
io.github.atomadictech/atomadic-forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
remote endpoints
- streamable-http https://forge.atomadic.tech/mcp
install
pypi · stdio
uvx atomadic-forge
details
- version
- 0.87.0
- published
- 2026-05-11
last synced 2026-07-29