Symbolic math, numerical physics, ML, theorem proving, bioinformatics, combinatorics
Use when performing mathematical physics computations - Lie algebras, quantum chemistry, neural operators, theorem proving, or scientific validation. Provides guidance on Theory2 CLI usage, computational workflows, and verification methodology.