claude-code-aristotle-plugin
SkillGitHubDormantLean
Aristotle AI plugin for Claude Code - theorem proving and code verification with Lean 4
Description provenance: Original source
Measured: Oct 20, 2026 · 57 observations
Domains & Uses
- Domains
- Agents, skills and MCP
- Uses
- Agent skills, Code assistants
Installation
/plugin marketplace add afhverjuekki/claude-code-aristotle-pluginCheck at the source
Compatibility and prerequisites must be checked in the official documentation.
https://github.com/afhverjuekki/claude-code-aristotle-pluginClassifications
- Nature
- Tool
Measurement history
Comparable readings are grouped by signal and unit.
Stars
11stars · Oct 20, 2026
0 (0 %)since Oct 14, 2026
Exact values · 7 readings
| Measured | stars | Change |
|---|---|---|
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | · |