afhverjuekki/claude-code-aristotle-plugin — Plugins

10Stars on the repository

6Mods indexed here, across every type

7mo agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

aristotle

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.

10 7mo ago A tokens not measured original MIT