afhverjuekki/claude-code-aristotle-plugin Skills

(1)

Browse AI agent skills from afhverjuekki/claude-code-aristotle-plugin for Claude Code, OpenClaw, Cursor, Windsurf, and more. Install them with a single command to extend what your agents can do.

Submit a Skill

Aristotle Workflow

afhverjuekki/claude-code-aristotle-plugin

This skill should be used when the user asks to "prove a theorem", "formalize to Lean", "use Aristotle", "fill sorries", "verify proofs", "verify algorithm", "verify code correctness", "check implementation", "find bugs in code", "work with Lean 4", "VERINA", or needs guidance on theorem proving, code verification, algorithm correctness, Lean formalization, or Aristotle AI integration.