Math Olympiad

Data engineering plugin - warehouse exploration, pipeline authoring, Airflow integration

Adds educational insights about implementation choices and codebase patterns (mimics the deprecated Explanatory output style)

Interactive learning mode that requests meaningful code contributions at decision points (mimics the unshipped Learning output style)

Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file; /math-proof:siege works on it for hours in rounds of judge and worker sub-agents and says plainly what is and is not proved.