aristotle agents

tizzy916/scholar-wendao-skill

Skill Claude CodeCodex

A tool for building reusable analysis lenses from scholars and research fields. It gathers multilingual books, secondary research, biographies, and academic debates, then extracts the scholar’s concepts and methods.

tizzy916/scholar-wendao-skill

Skill Claude CodeCodex

A classical philosophy analysis lens based on Aristotle’s ideas, with readings from four later traditions: Aquinas, Avicenna, Heidegger, and MacIntyre.

tizzy916/scholar-wendao-skill

Skill Claude CodeCodex

An academic analysis lens based on Bernard Stiegler’s work, using concepts, research records, translations, and a mapped intellectual background.

afhverjuekki/claude-code-aristotle-plugin

Plugin Claude Code

Aristotle AI integration for Lean 4 formalization and code verification. Formalizes mathematical proofs and verifies algorithm correctness with 96.8% accuracy on VERINA benchmark.

afhverjuekki/claude-code-aristotle-plugin

Agent

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

afhverjuekki/claude-code-aristotle-plugin

Agent

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.

afhverjuekki/claude-code-aristotle-plugin

Command

Formalize Lean 4 proofs using Aristotle AI theorem prover.

afhverjuekki/claude-code-aristotle-plugin

Command

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

afhverjuekki/claude-code-aristotle-plugin

Skill Claude CodeCodex

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…