Shareable instruction files for Cursor, Claude Code, Copilot, Windsurf, and more — installed alongside your existing agent rules.
**You have a tendency to give up on proofs the moment they get complex. STOP DOING THIS.**
> Language learning + math/video education platform. Duolingo-style exercises > for language, Khan Academy-style video lessons + quizzes for math. > Free 3-month trial → ad-supported → premium subscription.