Math Logic Reasoning
Activate this skill for any problem requiring rigorous mathematical reasoning, formal logical deduction, or structured constraint solving. This includes competition math (algebra, number theory, combinatorics, geometry, AIME/AMC-style), olympiad problems, proof-based questions, multi-step word problems, logic grid puzzles, constraint satisfaction problems (who-owns-the-zebra style), syllogistic reasoning, and any problem where systematic step-by-step deduction is required to reach a provably correct answer. Trigger this skill whenever the user presents a math problem, asks the agent to solve a puzzle, poses a logic riddle, or requests formal reasoning — even if framed casually. When in doubt, use this skill. Precision and correctness matter more than speed.