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