MCPサーバー
Atomadic Forge
io.github.atomadictech/atomadic-forge
利用不可
このMCPでできること
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
機能
ツール
0
ツール
ツール情報は公開されていません。
MCP Radarはまだこのサーバーからツール情報を取得できていません。