aristotle
01afhverjuekki/claude-code-aristotle-plugin
Command
Formalize Lean 4 proofs using Aristotle AI theorem prover.
10 7mo ago A 15 tokens
original MIT
verify-code
02afhverjuekki/claude-code-aristotle-plugin
Command
Verify algorithm correctness using Aristotle (96.8% VERINA benchmark accuracy).
10 7mo ago A 18 tokens
original MIT
reflect
03Command Claude Code
Review pending memory candidates and promote durable project learnings into .claude/memory.
5 1mo ago A 17 tokens
original MIT
Command
Report what a Lean 4 project rests on — inherited sorry, nativedecide, and where its axiom dependence comes from.
2 8d ago A 25 tokens
original Apache-2.0
Command
Explain why a Lean declaration depends on an axiom, and whether that dependence could be rerouted.
2 8d ago A 19 tokens
original Apache-2.0