Explanatory Output Style

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

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

Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses.

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.