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
0 (0 %)depuis le 14 oct. 2026
Valeurs exactes · 7 relevés
| Mesuré | étoiles | Écart |
|---|---|---|
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | · |