A specialist in mathematical proof verification, this model focuses on critiquing and evaluating proof steps rather than generating proofs from scratch. It operates as a careful reviewer — identifying flaws, gaps, or invalid reasoning in multi-step mathematical arguments. Its narrow focus means it excels at this specific task but isn't a general-purpose reasoning assistant.