Servidor MCP
Atomadic Forge
io.github.atomadictech/atomadic-forge
No disponible
Qué hace este MCP
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Capacidades
Herramientas
0
herramientas
Los metadatos de las herramientas no están disponibles públicamente.
MCP Radar todavía no ha obtenido herramientas de este servidor.