claude-code-aristotle-plugin
SkillGitHubRuhendLean
Aristotle AI plugin for Claude Code - theorem proving and code verification with Lean 4
Herkunft der Beschreibung: Originalquelle
Gemessen: 20.10.2026 · 57 Beobachtungen
Bereiche & Einsatzzwecke
- Bereiche
- Agenten, Skills und MCP
- Einsatzzwecke
- Agenten-Skills, Code-Assistenten
Installation
/plugin marketplace add afhverjuekki/claude-code-aristotle-pluginAn der Quelle prüfen
Kompatibilität und Voraussetzungen in der offiziellen Dokumentation prüfen.
https://github.com/afhverjuekki/claude-code-aristotle-pluginKlassifikationen
- Art
- Werkzeug
Messverlauf
Vergleichbare Messwerte sind nach Signal und Einheit gruppiert.
Sterne
11Sterne · 20.10.2026
0 (0 %)seit 22.09.2026
Genaue Werte · 17 Messungen
| Gemessen | Sterne | Änderung |
|---|---|---|
| 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 | · |