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.
How to install aristotle-workflow?
afhverjuekki/claude-code-aristotle-plugin/aristotle-workflow
$npx -y skills add afhverjuekki/claude-code-aristotle-plugin --skill aristotle-workflowInstalls into the current project.
›Prefer a prompt? Paste this to your agent
Run `npx skills use "https://github.com/afhverjuekki/claude-code-aristotle-plugin" --skill "afhverjuekki/claude-code-aristotle-plugin/aristotle-workflow"` and follow the generated skill instructions now. Read its complete output, redirecting it to a temporary file first if necessary. Resolve relative paths from the supporting-files directory it provides.
Use the skills in "https://github.com/afhverjuekki/claude-code-aristotle-plugin" that are relevant to the current task. Run `npx skills add "https://github.com/afhverjuekki/claude-code-aristotle-plugin"` and select the relevant skills, then follow their instructions.
Related
6 picksType
- tddTest-driven development. Use when the user wants to build features or fix bugs test-first, mentions "red-green-refactor", or wants integration tests.Jul 2026
- test-driven-developmentUse when implementing any feature or bugfix, before writing implementation codeJul 2026
- qaInteractive QA session where user reports bugs or issues conversationally, and the agent files GitHub issues.Jul 2026
- verification-before-completionUse when about to claim work is complete, fixed, or passing, before committing or creating PRs - requires running verification commands and confirming output…Jul 2026
- webapp-testingToolkit for interacting with and testing local web applications using Playwright.Jul 2026
- playwright-best-practicesUse when writing Playwright tests, fixing flaky tests, debugging failures, implementing Page Object Model, configuring CI/CD, optimizing performance, mocking…Jul 2026
