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.**