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가 아직 이 서버에서 도구 정보를 가져오지 못했습니다.