Proof Theory
parcadei/Continuous-Claude-v3
Problem-solving strategies for proof theory in mathematical logic
A skill your agent uses when the model setup, equilibrium concept, or proof architecture is the bottleneck for an American Economic Journal: Microeconomics (AEJ: Micro) manuscript — the central…
MITAuto-check passed
Install Aejmic Theory Model
$ npx skills add brycewang-stanford/Awesome-Journal-Skills --skill aejmic-theory-model -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install brycewang-stanford/Awesome-Journal-Skills aejmic-theory-model --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/brycewang-stanford/Awesome-Journal-Skills.git skills-src && mkdir -p .claude/skills && cp -r skills-src/AEJ-Microeconomics-Skills/skills/aejmic-theory-model .claude/skills/aejmic-theory-model && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "aejmic-theory-model" agent skill from https://github.com/brycewang-stanford/Awesome-Journal-Skills/tree/main/AEJ-Microeconomics-Skills/skills/aejmic-theory-model into .claude/skills/aejmic-theory-model/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "aejmic-theory-model", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/brycewang-stanford/Awesome-Journal-Skills/tree/main/AEJ-Microeconomics-Skills/skills/aejmic-theory-modelType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add brycewang-stanford/Awesome-Journal-Skills --skill aejmic-theory-model -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install brycewang-stanford/Awesome-Journal-Skills aejmic-theory-model --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/brycewang-stanford/Awesome-Journal-Skills.git skills-src && mkdir -p .agents/skills && cp -r skills-src/AEJ-Microeconomics-Skills/skills/aejmic-theory-model .agents/skills/aejmic-theory-model && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "aejmic-theory-model" agent skill from https://github.com/brycewang-stanford/Awesome-Journal-Skills/tree/main/AEJ-Microeconomics-Skills/skills/aejmic-theory-model into .agents/skills/aejmic-theory-model/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "aejmic-theory-model", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add brycewang-stanford/Awesome-Journal-Skills --skill aejmic-theory-model -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install brycewang-stanford/Awesome-Journal-Skills aejmic-theory-model --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/brycewang-stanford/Awesome-Journal-Skills.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/AEJ-Microeconomics-Skills/skills/aejmic-theory-model .cursor/skills/aejmic-theory-model && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "aejmic-theory-model" agent skill from https://github.com/brycewang-stanford/Awesome-Journal-Skills/tree/main/AEJ-Microeconomics-Skills/skills/aejmic-theory-model into .cursor/skills/aejmic-theory-model/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "aejmic-theory-model", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/brycewang-stanford/Awesome-Journal-Skills.git --path AEJ-Microeconomics-Skills/skills/aejmic-theory-model--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add brycewang-stanford/Awesome-Journal-Skills --skill aejmic-theory-model -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install brycewang-stanford/Awesome-Journal-Skills aejmic-theory-model --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/brycewang-stanford/Awesome-Journal-Skills.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/AEJ-Microeconomics-Skills/skills/aejmic-theory-model .gemini/skills/aejmic-theory-model && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "aejmic-theory-model" agent skill from https://github.com/brycewang-stanford/Awesome-Journal-Skills/tree/main/AEJ-Microeconomics-Skills/skills/aejmic-theory-model into .gemini/skills/aejmic-theory-model/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "aejmic-theory-model", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install brycewang-stanford/Awesome-Journal-Skills aejmic-theory-modelInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add brycewang-stanford/Awesome-Journal-Skills --skill aejmic-theory-model -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/brycewang-stanford/Awesome-Journal-Skills.git skills-src && mkdir -p .github/skills && cp -r skills-src/AEJ-Microeconomics-Skills/skills/aejmic-theory-model .github/skills/aejmic-theory-model && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "aejmic-theory-model" agent skill from https://github.com/brycewang-stanford/Awesome-Journal-Skills/tree/main/AEJ-Microeconomics-Skills/skills/aejmic-theory-model into .github/skills/aejmic-theory-model/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "aejmic-theory-model", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add brycewang-stanford/Awesome-Journal-Skills --skill aejmic-theory-model -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install brycewang-stanford/Awesome-Journal-Skills aejmic-theory-model --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/brycewang-stanford/Awesome-Journal-Skills.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/AEJ-Microeconomics-Skills/skills/aejmic-theory-model .opencode/skills/aejmic-theory-model && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "aejmic-theory-model" agent skill from https://github.com/brycewang-stanford/Awesome-Journal-Skills/tree/main/AEJ-Microeconomics-Skills/skills/aejmic-theory-model into .opencode/skills/aejmic-theory-model/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "aejmic-theory-model", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
Facts
- Skill name
aejmic-theory-model- GitHub stars
- 1.2k
- Token cost
- ~1.6k tokens
- SKILL.md length
- 718 words
- Files
- 1
- Skills in repo
- 2,387
- Repo updated
- First seen
- Licence
- MIT
At a glance
A skill your agent uses when the model setup, equilibrium concept, or proof architecture is the bottleneck for an American Economic Journal: Microeconomics (AEJ: Micro) manuscript — the central…
- Works in 5 steps: Model setup — make primitives minimal… → Equilibrium / solution concept — name it… → Proof strategy — choose the architecture… → …
- The model setup
- SKILL.md covers When to trigger, The AEJ: Micro modeling bar, Checklist and Anti-patterns, plus 3 more sections
- Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
What it does
Aejmic Theory Model is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when the model setup, equilibrium concept, or proof architecture is the bottleneck for an American Economic Journal: Microeconomics (AEJ: Micro) manuscript — the central skill for a theory-first paper. Builds the model to the AEJ: Micro bar (clean, general, well-motivated result); it does not check whether your theorem is correct.
Its SKILL.md is about 1.6k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.
The repository describes itself as: Journal-specific Claude Code/Codex skill packs covering mainstream journals — AER, QJE, Nature, Cell, 管理世界, 经济研究 & 200+ more — your fast track to getting published. ｜ 覆盖主流期刊的… The licence is MIT.
When your agent uses it
- The model setup
- Equilibrium concept
Example prompts
- “/aejmic-theory-model”
Workflow steps
5 steps, taken from the step headings in SKILL.md.
What it can do on your machine
Read from SKILL.md and the folder at commit 932eb23. It shows what the files ask for, not the result of running them.
Tool permissions
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Runs code
No scripts in the folder and no shell commands in SKILL.md.
From the folder's file list and the shell code blocks in SKILL.md.
Network
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Credentials
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Context cost
Aejmic Theory Model loads about 1.6k tokens when it runs. Until then it costs about 89 tokens; SKILL.md has 718 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
Safety
Auto-check passed
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
SKILL.md
The full file from brycewang-stanford/Awesome-Journal-Skills at commit 932eb23, republished under its MIT licence (© brycewang-stanford). 718 words, ~1,617 tokens.
Download SKILL.mdSave it as
.claude/skills/aejmic-theory-model/SKILL.md (or your agent's skills folder).- name
- aejmic-theory-model
- description
- Use when the model setup, equilibrium concept, or proof architecture is the bottleneck for an American Economic Journal: Microeconomics (AEJ: Micro) manuscript — the central skill for a theory-first paper. Builds the model to the AEJ: Micro bar (clean, general, well-motivated result); it does not check whether your theorem is correct.
Theory Model & Proof Architecture (aejmic-theory-model)
This is the central skill for AEJ: Micro. The journal is theory-first: the deliverable is a clean, general, well-motivated result — a theorem, characterization, or impossibility — that a broad microeconomics audience finds illuminating. Get the model and the proof right before anything else.
When to trigger
- The primitives (players, actions, information, timing, payoffs) are not yet pinned down
- The equilibrium / solution concept is unstated or mismatched to the question
- A result is conjectured but the proof strategy is unclear or fragile
- You are trading generality against tractability and cannot decide where to cut
- A referee questions which assumption the result actually depends on (then pair with
aejmic-identification)
The AEJ: Micro modeling bar
AEJ: Micro wants the economics to be the point: the model should be the simplest environment in which the mechanism is visible, and the result should travel beyond the example. It sits between JET/GEB (specialist, often maximal generality) and AEJ: Applied (empirical). Aim for a result that a non-specialist micro theorist can state in one sentence and that a specialist finds non-obvious.
1. Model setup — make primitives minimal and motivated
- State players, action sets, information structure, timing, and payoffs explicitly; flag every assumption that is substantive vs. WLOG.
- Prefer the minimal environment that exhibits the mechanism; add structure only when it earns its keep in the result.
- Motivate each non-standard assumption economically (an institution, a friction), not just for tractability.
2. Equilibrium / solution concept — name it and justify it
- Pick the concept that matches the question: Nash / subgame-perfect / sequential / PBE; dominant-strategy or Bayesian incentive compatibility (mechanism design); stability / core (matching, market design); rationalizability or level-k (behavioral).
- State existence and, where it matters, uniqueness (or characterize the equilibrium set). Refinements should be justified, not invoked to rescue a result.
3. Proof strategy — choose the architecture before writing it
- Common architectures: construction (exhibit the object), revelation principle then optimize over direct mechanisms, fixed-point / monotone-comparative-statics (Topkis, single-crossing), duality / LP (information design, Bayesian persuasion), induction on type/stage, variational / first-order arguments, impossibility by contradiction.
- For a characterization, prove both directions; for an optimum, verify the candidate is global (not just a local/first-order point).
4. Generality vs. tractability — decide deliberately
- A finite/binary type space that exposes the mechanism cleanly often beats a continuum that buries it. State the cost: what does the simplification rule out?
- If the general case is the contribution, prove it generally; if the insight is the contribution, prove it where it is cleanest and discuss extension in
aejmic-robustness.
Show full SKILL.md (306 more words)Show less
5. Where proofs live
- Short, illuminating proofs (or proof sketches) in the main text; long or routine proofs in the appendix. The main paper should be self-contained for the key results — do not hide a load-bearing proof in supplementary material.
Checklist
- Primitives stated explicitly; each assumption marked substantive vs. WLOG, with economic motivation
- Solution concept named, matched to the question, with existence (and uniqueness/characterization where relevant)
- Main result stated as a numbered Proposition/Theorem in words a non-specialist can parse
- Proof architecture chosen and stated; candidate optima verified global, both directions of a characterization proved
- Generality-vs-tractability call made deliberately, with the cost of any simplification stated
- Key proofs in main text; appendix carries the rest; main paper self-contained
Anti-patterns
- A model loaded with assumptions, several only for tractability, none flagged — the mechanism is invisible
- Asserting an equilibrium without existence, or invoking a refinement only to rescue the result
- "It can be shown that…" standing in for a proof of a load-bearing claim
- Maximal generality that obscures the economic point (reads as JET, not AEJ: Micro), or a one-off example with no result that travels
- A first-order condition presented as if it established a global optimum
Worked vignette: a screening result (illustrative)
A monopolist screens buyers with private values. A weak setup throws in a continuum of types and three frictions at once; the optimal-contract characterization becomes a thicket. The AEJ: Micro move: start with two types, derive the standard "no distortion at the top, downward distortion below" characterization as a clean Proposition, prove it by the relaxed-program-then-verify-monotonicity architecture, then in aejmic-robustness show the continuum case preserves the qualitative result. The two-type model is the simplest environment where the distortion is visible — and the result travels.
Output format
【Model】players / actions / information / timing / payoffs (substantive vs. WLOG flagged)
【Solution concept】[Nash/SPE/PBE/IC/stability/…] + existence/uniqueness
【Main result】Proposition stated in words
【Proof architecture】[construction / revelation+optimize / fixed-point / duality / induction / impossibility]
【Generality call】where proved + cost of any simplification
【Proofs live】main text: [...]; appendix: [...]
【Next step】aejmic-identification (what makes it tight) or aejmic-robustness (extensions)Supplementary resources
../../resources/worked-examples/01-introduction.md— a theory-paper intro arc (puzzle → model → proposition → driving assumption)../../resources/exemplars/library.md— real AEJ: Micro theory papers by area
© brycewang-stanford, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
Files
Just SKILL.md in AEJ-Microeconomics-Skills/skills/aejmic-theory-model of brycewang-stanford/Awesome-Journal-Skills.
Open the folder on GitHubat commit 932eb23
Compare with similar skills
Aejmic Theory Model next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Aejmic Theory Model this skillbrycewang-stanford/Awesome-Journal-Skills | 1.2k | — | ~1.6k | Automated safety check: Pass | MIT | |
| Proof Theoryparcadei/Continuous-Claude-v3 | 3.9k | 1 repos | ~452 | Automated safety check: Notes | MIT | |
| Proof Videoopenclaw/openclaw | 392k | — | ~2.4k | Automated safety check: Pass | MIT | |
| JavaScript Concept Page Workflowleonardomso/33-js-concepts | 67k | — | ~3.9k | Automated safety check: Pass | MIT | |
| JavaScript Concept Page Writerleonardomso/33-js-concepts | 67k | — | ~14k | Automated safety check: Pass | MIT | |
| Concept Synthesisgarrytan/gbrain | 31k | — | ~5.5k | Automated safety check: Pass | MIT |
Similar skills
Proof Video
openclaw/openclaw
Add subtitles, captions, narration cues, or zoom to a proof video or PR recording using repo-local capture helpers and a system ffmpeg renderer.
JavaScript Concept Page Workflow
leonardomso/33-js-concepts
Orchestrates five skills to produce a complete JavaScript concept documentation page, from resource curation through writing, tests, fact-checking and SEO.
JavaScript Concept Page Writer
leonardomso/33-js-concepts
Writes or reviews documentation pages for the 33 JavaScript Concepts project, following its structure, a beginner-friendly voice and rules against AI-sounding language.
Concept Synthesis
garrytan/gbrain
Deduplicate and synthesize raw concept stubs into a tiered intellectual map (T1 Canon to T4 Riff), tracing idea evolution across sources over time.
Rigorous Math Proof
tradecatlabs/vibe-coding-cn
Writes and audits natural-language math proofs as checkable packages, with explicit assumptions, proof obligations and counterexample hunting, refuting or repairing weak claims.
More from brycewang-stanford/Awesome-Journal-Skills
All 2,387 skills in this repoAaag Data Analysis
brycewang-stanford/Awesome-Journal-Skills
A skill your agent uses when running and reporting the analysis for an Annals of the American Association of Geographers manuscript — spatial statistics and modeling, remote-sensing accuracy, or…
Aaag Literature Positioning
brycewang-stanford/Awesome-Journal-Skills
A skill your agent uses when positioning an Annals of the American Association of Geographers manuscript in the literature — engaging geographic scholarship across the relevant area and the…
Aaag Rebuttal
brycewang-stanford/Awesome-Journal-Skills
A skill your agent uses when responding to an Annals of the American Association of Geographers decision letter (major/minor revision) — building a point-by-point response to the subject editor and…
Aaag Research Design
brycewang-stanford/Awesome-Journal-Skills
A skill your agent uses when defending the research design of an Annals of the American Association of Geographers manuscript — spatial/quantitative analysis and GIScience, remote-sensing and…
Aaag Review Process
brycewang-stanford/Awesome-Journal-Skills
A skill your agent uses when you need to understand how the Annals of the American Association of Geographers evaluates a manuscript — double-anonymous review routed through a subject editor by…
Aaag Submission
brycewang-stanford/Awesome-Journal-Skills
A skill your agent uses when running the final pre-submission preflight for the Annals of the American Association of Geographers via ScholarOne Manuscripts — area/article-type selection…
Questions about Aejmic Theory Model
What does Aejmic Theory Model do?
A skill your agent uses when the model setup, equilibrium concept, or proof architecture is the bottleneck for an American Economic Journal: Microeconomics (AEJ: Micro) manuscript — the central…. Aejmic Theory Model is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when the model setup, equilibrium concept, or proof architecture is the bottleneck for an American Economic Journal: Microeconomics (AEJ: Micro) manuscript — the central skill for a theory-first paper.
When should I use Aejmic Theory Model?
Aejmic Theory Model fits situations like: the model setup; equilibrium concept.
How do I install Aejmic Theory Model in Claude Code?
Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill aejmic-theory-model -a claude-code`. Or copy the skill folder (AEJ-Microeconomics-Skills/skills/aejmic-theory-model in brycewang-stanford/Awesome-Journal-Skills) into .claude/skills/aejmic-theory-model in your project. Claude Code loads it when a task matches its description.
How do I install Aejmic Theory Model in Codex?
Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill aejmic-theory-model -a codex`. Or copy the skill folder (AEJ-Microeconomics-Skills/skills/aejmic-theory-model in brycewang-stanford/Awesome-Journal-Skills) into .agents/skills/aejmic-theory-model in your project. Codex loads it when a task matches its description.
Can I use Aejmic Theory Model in Cursor, Gemini CLI or GitHub Copilot?
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill aejmic-theory-model -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/aejmic-theory-model, .gemini/skills/aejmic-theory-model, .github/skills/aejmic-theory-model and .opencode/skills/aejmic-theory-model in your project.
What does Aejmic Theory Model need to run?
SKILL.md names no scripts, command-line tools or credentials: Aejmic Theory Model is instructions for the agent only.
Does Aejmic Theory Model access the network?
SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.
Is Aejmic Theory Model safe to install?
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
What licence does Aejmic Theory Model use?
Aejmic Theory Model is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
How many tokens does Aejmic Theory Model use?
About 1.6k tokens (SKILL.md is roughly 6.5k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
What are the alternatives to Aejmic Theory Model?
Skills that share tags, products or a category with Aejmic Theory Model: Proof Theory (parcadei/Continuous-Claude-v3, 3.9k stars), Proof Video (openclaw/openclaw, 392k stars), JavaScript Concept Page Workflow (leonardomso/33-js-concepts, 67k stars) and JavaScript Concept Page Writer (leonardomso/33-js-concepts, 67k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Aejmic Theory Model?
brycewang-stanford (a GitHub user) maintains it in brycewang-stanford/Awesome-Journal-Skills, which has 1,231 GitHub stars. The repository holds 2,387 skills in this directory. The repository was last updated on September 27, 2026.
Source: brycewang-stanford/Awesome-Journal-Skills on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.