Serveur MCP
Atomadic Forge
io.github.atomadictech/atomadic-forge
Indisponible
Ce que fait ce MCP
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Capacités
Outils
0
outils
Les métadonnées des outils ne sont pas disponibles publiquement.
MCP Radar n’a encore récupéré aucun outil depuis ce serveur.