Le descrizioni degli strumenti sono in inglese.
lean-skills — scheda e storico dello strumento
Seven skills, split by what you are actually doing rather than by topic. A "tactics" skill and a "Mathlib" skill both fire on every task, and neither tells the agent what to do next. These fire one at a time.
- Linguaggio
- Python
- Licenza
- Apache-2.0
- Creazione
- Ultima attività
- Argomenti
- agent-skills
- claude-code
- claude-code-skills
- formal-verification
- lean4
- mathlib
- theorem-proving
Installa git clone https://github.com/matt-w-horn/lean-skills ~/.claude/skills/lean-skills
Misurazione attuale
1stelle GitHubstabile
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 |
|---|---|---|
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub |
Classificazioni
- Ambiti
- Tipo
- Skill per agenti
- Utilizzi
Strumenti vicini
Queste voci dichiarano gli stessi argomenti. Nessuna somiglianza viene dedotta: sono indicati solo gli argomenti in comune.