MCP Server
Atomadic Forge
io.github.atomadictech/atomadic-forge
Unavailable
What this MCP does
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Capabilities
Tools
0
tools
Tool metadata is not publicly available.
MCP Radar has not retrieved any tools from this server yet.