/e2e-prove - End-to-End Test & Proof Suite Run x0x E2E tests, evaluate results, fix issues, and generate proof reports. Usage --- Model Delegation Strategy This skill uses three model tiers for cost-efficiency: | Phase | Model | Why | |-------|-------|-----| | Run tests | Haiku | Cheap, fast — just executes bash scripts and captures output | | Evaluate results | Sonnet | Mid-tier analysis — parses logs, identifies failure patterns, writes proof reports | | Fix issues | Opus | Heavy lifting — only invoked when code changes are needed | --- Phase 1: Pre-Flight (runs inline, no subagent) Before…