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 尚未从此服务器获取到任何工具。