Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians. - View it on GitHub