Verifies mathematical derivations step-by-step by checking algebra, index consistency, and dimensional accuracy.
The Derivation Checker skill is designed for researchers, physicists, and engineers who need to validate complex mathematical proofs and theoretical derivations. It automates the rigorous process of algebraic verification, spotting common errors such as sign flips, index inconsistencies in Einstein notation, and dimensional mismatches. By parsing LaTeX or Typst inputs into discrete steps, it provides a structured feedback loop where the AI handles the tedious calculation checking while the user remains focused on the underlying physical intuition and high-level assumptions.
