MCP

Atomadic Forge

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

Rivendica questo annuncio

Collega il tuo account GitHub per dimostrare che possiedi o mantieni questo annuncio. Verifichiamo l’accesso al repo automaticamente — la maggior parte dei publisher viene confermata in pochi secondi.

1Collega GitHub

2Invia la tua rivendicazione

3Verifica automatica, oppure esame entro 48 h