Le descrizioni degli strumenti sono in inglese.
Atomadic Forge — scheda e storico dello strumento
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Installa claude mcp add atomadic-forge -- uvx atomadic-forge
Misurazione attuale
80download in 7 giornistabile
crescita misurataMomentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.
Storico delle rilevazioni
| Data | Valore | Metrica |
|---|---|---|
| 80 | download in 7 giorni | |
| 80 | download in 7 giorni | |
| 80 | download in 7 giorni | |
| 80 | download in 7 giorni | |
| 80 | download in 7 giorni | |
| 80 | download in 7 giorni | |
| 80 | download in 7 giorni | |
| 80 | download in 7 giorni | |
| 80 | download in 7 giorni | |
| 80 | download in 7 giorni | |
| 80 | download in 7 giorni | |
| 80 | download in 7 giorni | |
| 80 | download in 7 giorni | |
| 80 | download in 7 giorni | |
| 80 | download in 7 giorni | |
| — | — | |
| — | — | |
| — | — | |
| — | — |
Classificazioni
- Ambiti
- Tipo
- Server MCP
- Utilizzi
- Nessun utilizzo dichiarato