claude-code-aristotle-plugin
SkillGitHubDormantLean
Plugin Claude Code Aristotle AI pour la preuve de théorèmes et vérification de code avec Lean 4.
Provenance de la description: Reformulé
Mesuré: 20 oct. 2026 · 57 observations
Domaines & Usages
- Domaines
- Agents, skills et MCP
- Usages
- Compétences d’agents, Assistants de code
Installation
/plugin marketplace add afhverjuekki/claude-code-aristotle-pluginÀ vérifier à la source
Compatibilité et prérequis sont à vérifier dans la documentation officielle.
https://github.com/afhverjuekki/claude-code-aristotle-pluginClassifications
- Nature
- Outil
Historique des mesures
Les relevés comparables sont regroupés par signal et unité.
Étoiles
11étoiles · 20 oct. 2026
+1 (+10 %)depuis le 10 août 2026
Valeurs exactes · 57 relevés
| Mesuré | étoiles | Écart |
|---|---|---|
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | +1 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | 0 | |
| 10 | · |