claude-code-aristotle-plugin
SkillGitHubDormienteLean
Aristotle AI plugin for Claude Code - theorem proving and code verification with Lean 4
Provenienza della descrizione: Fonte originale
Misurato: 20 ott 2026 · 57 osservazioni
Domini & Utilizzi
- Domini
- Agenti, skill e MCP
- Utilizzi
- Competenze per agenti, Assistenti di codice
Installazione
/plugin marketplace add afhverjuekki/claude-code-aristotle-pluginVerifica alla fonte
Verifica compatibilità e requisiti nella documentazione ufficiale.
https://github.com/afhverjuekki/claude-code-aristotle-pluginClassificazioni
- Natura
- Strumento
Storico delle misure
Le letture confrontabili sono raggruppate per segnale e unità.
Stelle
11stelle · 20 ott 2026
0 (0 %)dal 14 ott 2026
Valori esatti · 7 rilevazioni
| Misurato | stelle | Variazione |
|---|---|---|
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | · |