listed
Atomadic Forge
io.github.atomadictech · forge.atomadic.tech
MCP
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
MCP
streamable-http
https://forge.atomadic.tech/mcp
local
pypi atomadic-forge
forge
ATTRIBUTION
- mcp · last seen 2026-09-24T02:50:59.105419Z · fetched 2026-09-24T02:50:59.105419Z · https://registry.modelcontextprotocol.io/
This listing is taken from the catalogues and the provider named above. The price is what that source advertised.