aristotle
01afhverjuekki/claude-code-aristotle-plugin
Plugin Claude Code
Bundles 1 skill, 2 commands, 2 agents · 191 tokens together
Aristotle AI integration for Lean 4 formalization and code verification. Formalizes mathematical proofs and verifies algorithm correctness with 96.8% accuracy on VERINA benchmark.
not rated 11 9mo ago A
tokens not measured
original MIT