theory-sharpen

# Theory-Sharpen — Systematic Theoretical Improvement Assessment > 🔬 **Model Recommendation**: Run this skill on **Claude Opus** for best results. > Framework classification, assumption-relaxation analysis, and rate-sharpening all > require deep mathematical reasoning. If your session is not on Opus, run > `/model opus` before invoking. Literature search and Codex cross-review will use > Opus sub-agents. Go beyond "is the proof correct?" to ask "can the theory be stronger, sharper, and better aligned with the model, the literature, and the experiments?" **Pipeline position**: ``` /proofcheck → /proof-repair → /theory-sharpen → /proof-writer Correct? Fix issues Improve theory Write new proofs ``` This skill can also run standalone on any paper with theoretical results. ## Context: $ARGUMENTS --- ## Core Philosophy A good theory paper is evaluated on three axes: 1. **Strength**: Are assumptions as weak as possible? Are rates as sharp as possible? 2. **Alignment**: Does the theory match what the model actually provides and what the experiments actually test? 3. **Positioning**: How does the result compare to the best known results in the literature? This skill systematically audits all three axes and produces an actionable improvement roadmap. --- ## Step 0: Ingest & Map the Theory-Model-Experiment Triangle ### 0A: Locate Inputs Parse `$ARGUMENTS`. Accept: - A `.tex` file path → read directly - A paper directory → read `paper.tex` + any `/proof...