Server record / io.github.atomadictech/atomadic-forge
Atomadic Forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Runnable packages
pypiatomadic-forge
0.87.0stdioRemote endpoints
https://forge.atomadic.tech/mcpstreamable-httpTool inventory
No publishable tool enumeration has been recorded.
Recent observations
This server has Registry metadata but no public verification run yet.