MCP

Atomadic Forge

Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.

Revendiquer cette annonce

Connectez votre compte GitHub pour prouver que vous possédez ou maintenez cette annonce. Nous vérifions l’accès au dépôt automatiquement — la plupart des éditeurs sont confirmés en quelques secondes.

1Connecter GitHub
2Envoyer votre revendication
3Vérification automatique, ou examen sous 48 h