alethic
Reasoning agent for mathematics and physics with Generate-Verify-Revise loop (inspired by DeepMind's Aletheia), multi-verifier consensus, proof auditing, plus scientific figure generation