Atomadic Forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Ready: Not usableSecurity: SecureAuth: UnknownSetup: Unknownmcp_servermcp
Use it
- Endpoints
- https://forge.atomadic.tech/mcp streamable-http
- Packages
- pypi: atomadic-forge 0.87.0
uvx atomadic-forge
- pypi: atomadic-forge 0.87.0
- Instructions
- Use the MCP protocol over streamable-http.
- No authentication metadata was declared; the endpoint may still require credentials.
Version history
VersionStatusPublished
0.87.0LatestactiveMay 11, 2026
0.84.1activeMay 9, 2026
0.83.0activeMay 8, 2026
0.82.0activeMay 8, 2026
0.81.0activeMay 8, 2026
0.80.0activeMay 8, 2026
0.79.0activeMay 8, 2026
0.78.0activeMay 8, 2026
0.77.0activeMay 8, 2026
0.76.0activeMay 8, 2026
0.75.3activeMay 8, 2026
0.75.2activeMay 8, 2026
0.75.1activeMay 8, 2026
0.75.0activeMay 8, 2026
0.74.0activeMay 8, 2026
0.73.0activeMay 8, 2026
0.72.0activeMay 8, 2026
0.71.0activeMay 8, 2026
0.70.0activeMay 8, 2026
0.69.0activeMay 8, 2026
0.68.0activeMay 8, 2026
0.67.0activeMay 8, 2026
0.66.0activeMay 8, 2026
0.65.0activeMay 8, 2026
0.64.0activeMay 8, 2026
0.63.0activeMay 8, 2026
0.62.0activeMay 8, 2026
0.61.0activeMay 8, 2026
0.60.0activeMay 8, 2026
0.59.0activeMay 8, 2026
0.58.0activeMay 8, 2026
0.57.1activeMay 8, 2026
0.57.0activeMay 8, 2026
0.56.0activeMay 8, 2026
0.54.0activeMay 8, 2026
0.53.0activeMay 8, 2026
0.52.1activeMay 8, 2026
0.52.0activeMay 8, 2026
0.51.6activeMay 7, 2026
0.51.1activeMay 7, 2026
0.6.1activeMay 2, 2026