TL;DR: I created a Python package to make running agentic automated theorem provers (e. g. , Aristotle, Numina-Lean-Agent, Claude Code, etc...

Source: [Hacker News](https://github.com/henryrobbins/open-atp)

Sponsored