MCP servers
Atomadic Forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Remotes
Streamable HTTP
https://forge.atomadic.tech/mcpclaude mcp add --transport http atomadic-forge https://forge.atomadic.tech/mcpPackages
atomadic-forge · pypi 0.87.0 · stdio
claude mcp add --transport stdio atomadic-forge -- uvx atomadic-forge==0.87.0Server details
- Registry name
- io.github.atomadictech/atomadic-forge
- Version
- 0.87.0
- Registry status
- deprecated
