MCP-Server
Atomadic Forge
io.github.atomadictech/atomadic-forge
Nicht verfügbar
Was dieses MCP kann
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Funktionen
Tools
0
Tools
Tool-Metadaten sind nicht öffentlich verfügbar.
MCP Radar hat von diesem Server noch keine Tools abgerufen.