Atomadic Forge — fiche et historique
Compilateur d'architecture pour code IA intégrant outils et preuves formelles Lean4.
Reformulée en français
Installer claude mcp add atomadic-forge -- uvx atomadic-forge
Mesure actuelle
80téléchargements sur 7 joursstable
progression mesuréeLe momentum utilise les relevés disponibles des 7 derniers jours : mesuré avec au moins deux relevés comparables, estimé sinon.
Historique des relevés
| Date | Valeur | Métrique |
|---|---|---|
| 80 | téléchargements sur 7 jours | |
| 80 | téléchargements sur 7 jours | |
| 80 | téléchargements sur 7 jours | |
| 80 | téléchargements sur 7 jours | |
| 80 | téléchargements sur 7 jours | |
| 80 | téléchargements sur 7 jours | |
| 80 | téléchargements sur 7 jours | |
| 80 | téléchargements sur 7 jours | |
| 80 | téléchargements sur 7 jours | |
| 80 | téléchargements sur 7 jours | |
| 80 | téléchargements sur 7 jours | |
| 80 | téléchargements sur 7 jours | |
| 80 | téléchargements sur 7 jours | |
| 80 | téléchargements sur 7 jours | |
| 80 | téléchargements sur 7 jours | |
| — | — | |
| — | — | |
| — | — | |
| — | — |
Classements
- Domaines
- Type
- Serveurs MCP
- Usages
- Aucun usage déclaré