aristotle commands

2 tagged aristotle, measured the same way as everything else here.

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 2 mods

aristotle

01

afhverjuekki/claude-code-aristotle-plugin

Command

Part of aristotle

Formalize Lean 4 proofs using Aristotle AI theorem prover.

10 7mo ago A 15 tokens original MIT

verify-code

02

afhverjuekki/claude-code-aristotle-plugin

Command

Part of aristotle

Verify algorithm correctness using Aristotle (96.8% VERINA benchmark accuracy).

10 7mo ago A 18 tokens original MIT