Che cos'è aristotle-lean?
Dimostrazione del teorema Lean4 a livello di medaglia d'oro IMO tramite API Harmonic Fonte: plurigrid/asi.
·aristotle-lean
</>
aristotle-lean
✓Dimostrazione del teorema Lean4 a livello di medaglia d'oro IMO tramite API Harmonic
Installazione
Come installare aristotle-lean
Installa rapidamente la skill AI aristotle-lean nel tuo ambiente di sviluppo tramite riga di comando
- Apri il terminale: Apri il tuo terminale o strumento da riga di comando (Terminal, iTerm, Windows Terminal, ecc.)
- Esegui il comando di installazione: Copia ed esegui questo comando: npx skills add https://github.com/plurigrid/asi --skill aristotle-lean
- Verifica l'installazione: Dopo l'installazione, la skill verrà configurata automaticamente nel tuo ambiente AI di coding e sarà pronta all'uso in Claude Code, Cursor o OpenClaw
Fonte: plurigrid/asi.
SKILL.md
Visualizza rawTrit: -1 (MINUS) Domain: Formal Verification / Theorem Proving Provider: Harmonic (harmonic.fun)
Aristotle is an IMO Gold Medal level Lean4 theorem prover that fills sorry holes in proofs, auto-generates counterexamples for false statements, and integrates with Mathlib and lake dependencies.
| MiniF2F | 90% | | VERINA | 96.8% |
Dimostrazione del teorema Lean4 a livello di medaglia d'oro IMO tramite API Harmonic Fonte: plurigrid/asi.
Fatti (pronti per citazione)
Campi e comandi stabili per citazioni AI/ricerca.
- Comando di installazione
npx skills add https://github.com/plurigrid/asi --skill aristotle-lean- Fonte
- plurigrid/asi
- Categoria
- </>Sviluppo
- Verificato
- ✓
- Prima apparizione
- 2026-02-01
- Aggiornato
- 2026-03-10
Risposte rapide
Come installo aristotle-lean?
Apri il tuo terminale o strumento da riga di comando (Terminal, iTerm, Windows Terminal, ecc.) Copia ed esegui questo comando: npx skills add https://github.com/plurigrid/asi --skill aristotle-lean Dopo l'installazione, la skill verrà configurata automaticamente nel tuo ambiente AI di coding e sarà pronta all'uso in Claude Code, Cursor o OpenClaw
Dov'è il repository sorgente?
https://github.com/plurigrid/asi
Dettagli
- Categoria
- </>Sviluppo
- Fonte
- skills.sh
- Prima apparizione
- 2026-02-01