Math Reasoning

Handles the formal mathematical work you need for research papers: deriving equations step by step, writing proofs using templates for different techniques (direct, contradiction, induction), formalizing informal problem descriptions into proper mathematical frameworks, and selecting appropriate statistical tests. It also generates LaTeX notation tables and verifies dimensional consistency across your work. The skill enforces good practices like defining all symbols before use and numbering equations you'll reference later. If you're writing a machine learning or statistics paper and need to move from rough ideas to publication-ready math with proper justification for each step, this does that translation work. Pairs naturally with research planning upstream and paper writing downstream.