Claude Code Aristotle Plugin

Stream: Machine Learning for Theorem Proving

[Jack Armitage]

Hi, I'm new here, hope I found the right place to post this!

I asked Claude Code to make itself a plugin for Aristotle:

https://github.com/afhverjuekki/claude-code-aristotle-plugin