afhverjuekki

afhverjuekki/claude-code-aristotle-plugin

Plugin Claude Code

Aristotle AI plugin for Claude Code - theorem proving and code verification.

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…