Data Engineering

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)

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.