Back to search
Top Contributors
5
commits
Aristotle AI plugin for Claude Code - theorem proving and code verification with Lean 4
Stars
9
Forks
0
Watchers
9
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
5
commits
Move marketplace.json to correct location, update README
e5131afView on GitHubInitial release: Aristotle AI plugin for Claude Code v1.1.0
55e1067View on GitHub