afhverjuekki/claude-code-aristotle-plugin — Agents

10Stars on the repository

6Mods indexed here, across every type

7mo agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

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

code-verifier

afhverjuekki/claude-code-aristotle-plugin

Agent

Part of aristotle

Use this agent when the user needs to verify algorithm correctness, create VERINA-style specifications, or set up code verification with Aristotle. Examples.

not rated 10 7mo ago A 32 tokens original MIT

proof-verifier

afhverjuekki/claude-code-aristotle-plugin

Agent

Part of aristotle

Use this agent when the user needs to verify Lean proofs generated by Aristotle, check for sorryAx contamination, or validate that proofs are logically sound. Examples.

not rated 10 7mo ago A 35 tokens original MIT