TeXRA: an AI theorist for advancing theoretical science

An AI theorist for advancing theoretical science. A team of specialist agents derives results, checks derivations in Wolfram, formalizes proofs in Lean 4, and helps you do good work, in VS Code and the terminal.