Skip to content

Claude Skills by afhverjuekki

github.com/afhverjuekki

1 skillA× 10 installs1 views

Aristotle WorkflowAThis 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.ai-agentsrustgoVotes: 0GitHub stars: 10

Claude Skills by afhverjuekki — 1 skill, security-graded | Skills Directory