From econometrica-skills
Helps state and prove the central theorem of an Econometrica manuscript with complete, correct proofs. Covers definitions, assumptions, theorem statement, and proof strategy within the 45-page body + supplemental material limit.
How this skill is triggered — by the user, by Claude, or both
Slash command
/econometrica-skills:ecta-theory-modelThe summary Claude sees in its skill listing — used to decide when to auto-load this skill
- The central result is stated informally or its conditions are scattered through the text
This is the heart of an Econometrica paper. The product is a complete, correct proof of a general, cleanly stated theorem. Econometrica is the field's theorem-proof journal: the referee pool (routed by the handling co-editor) reads proofs line by line, and a single genuine gap can sink an otherwise strong paper — this is the most common rejection cause here, in contrast to applied siblings (AER / QJE / JPE / REStud) where a credible empirical narrative can carry the day. Plan around the 45-page main-text limit (incl. references and appendices): the body conveys the theorem, its interpretation, and the architecture of the proof, while the complete, formal proofs live in the Supplemental Material (the ≤25-page Supplemental Appendix or the unrestricted online Supplemental Material), which does not count against the body's page budget. "Proof omitted to save space" is not acceptable — the proof must exist somewhere complete.
Organize the formal content in this order, with consistent theorem numbering:
Pick the architecture before writing line-by-line:
| Result type | Typical machinery |
|---|---|
| Existence of equilibrium / solution | Fixed-point (Brouwer / Kakutani / Banach / Schauder), Berge maximum theorem |
| Representation theorem | Separation / Hahn–Banach, mixture-space, biseparable arguments |
| Consistency | Uniform law of large numbers, argmax / M-estimation continuity, identification + compactness |
| Limiting distribution | CLT (for arrays / dependent data), delta method, empirical-process / Donsker arguments, stochastic equicontinuity |
| Uniqueness / comparative statics | Contraction, monotone-comparative-statics (lattice / single-crossing), index theory |
| Bounds / minimax | Le Cam two-point / Fano, coupling |
Write the proof sketch first (the architecture and the one or two hard steps), then expand every step. Flag the genuinely novel step — referees want to see where the work is.
【Central theorem】... (one-line statement + assumption numbers)
【Proof architecture】fixed-point / ULLN+M-estimation / empirical process / ...
【Hard step】...
【Assumptions audit】all used? [yes/no — list unused]; minimal? [...]
【Generality】largest class: ...; excluded edge cases: ...
【Full proof location】in-text / Supplemental Material §...
【Next step】ecta-robustness
npx claudepluginhub brycewang-stanford/awesome-journal-skills --plugin econometrica-skillsGuides structuring assumptions, limit theory, and proof exposition for Econometric Theory theorem-proof papers when regularity conditions are the bottleneck.
Hardens assumptions, results, and proof architecture for a JET theory paper. Makes every assumption load-bearing, structures proofs for expert referee verification, and defends the generality/tractability trade-off.
Builds, sharpens, and stress-tests theoretical models for REStud manuscripts. Organizes proofs for the online appendix and ensures economic payoff visibility.