Agent skill

Jet Identification Strategy

by brycewang-stanford in brycewang-stanford/Awesome-Journal-Skills

A skill your agent uses when hardening the assumptions, results, and proof architecture of a Journal of Economic Theory (JET) paper — the theory analogue of an identification strategy.

MITAuto-check passed

Install Jet Identification Strategy

skills CLI

$ npx skills add brycewang-stanford/Awesome-Journal-Skills --skill jet-identification-strategy -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI

$ gh skill install brycewang-stanford/Awesome-Journal-Skills jet-identification-strategy --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy

$ git clone --depth 1 https://github.com/brycewang-stanford/Awesome-Journal-Skills.git skills-src && mkdir -p .claude/skills && cp -r skills-src/Journal-of-Economic-Theory-Skills/skills/jet-identification-strategy .claude/skills/jet-identification-strategy && rm -rf skills-src

Use ~/.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/

Paste into Claude Code

Install the "jet-identification-strategy" agent skill from https://github.com/brycewang-stanford/Awesome-Journal-Skills/tree/main/Journal-of-Economic-Theory-Skills/skills/jet-identification-strategy into .claude/skills/jet-identification-strategy/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "jet-identification-strategy", 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

$skill-installer install https://github.com/brycewang-stanford/Awesome-Journal-Skills/tree/main/Journal-of-Economic-Theory-Skills/skills/jet-identification-strategy

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

skills CLI

$ npx skills add brycewang-stanford/Awesome-Journal-Skills --skill jet-identification-strategy -a codex

Project install goes to .agents/skills/; add -g for ~/.codex/skills/.

GitHub CLI

$ gh skill install brycewang-stanford/Awesome-Journal-Skills jet-identification-strategy --agent codex

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/brycewang-stanford/Awesome-Journal-Skills.git skills-src && mkdir -p .agents/skills && cp -r skills-src/Journal-of-Economic-Theory-Skills/skills/jet-identification-strategy .agents/skills/jet-identification-strategy && rm -rf skills-src

Use ~/.agents/skills/ instead of .agents/skills for a personal install.

Codex skills documentation · loads skills from .agents/skills/

Paste into Codex

Install the "jet-identification-strategy" agent skill from https://github.com/brycewang-stanford/Awesome-Journal-Skills/tree/main/Journal-of-Economic-Theory-Skills/skills/jet-identification-strategy into .agents/skills/jet-identification-strategy/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "jet-identification-strategy", 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.

skills CLI

$ npx skills add brycewang-stanford/Awesome-Journal-Skills --skill jet-identification-strategy -a cursor

Project install goes to .agents/skills/; add -g for ~/.cursor/skills/.

GitHub CLI

$ gh skill install brycewang-stanford/Awesome-Journal-Skills jet-identification-strategy --agent cursor

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/brycewang-stanford/Awesome-Journal-Skills.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/Journal-of-Economic-Theory-Skills/skills/jet-identification-strategy .cursor/skills/jet-identification-strategy && rm -rf skills-src

Use ~/.cursor/skills/ instead of .cursor/skills for a personal install.

Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/

Paste into Cursor

Install the "jet-identification-strategy" agent skill from https://github.com/brycewang-stanford/Awesome-Journal-Skills/tree/main/Journal-of-Economic-Theory-Skills/skills/jet-identification-strategy into .cursor/skills/jet-identification-strategy/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "jet-identification-strategy", 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

$ gemini skills install https://github.com/brycewang-stanford/Awesome-Journal-Skills.git --path Journal-of-Economic-Theory-Skills/skills/jet-identification-strategy

--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.

skills CLI

$ npx skills add brycewang-stanford/Awesome-Journal-Skills --skill jet-identification-strategy -a gemini-cli

Project install goes to .agents/skills/; add -g for ~/.gemini/skills/.

GitHub CLI

$ gh skill install brycewang-stanford/Awesome-Journal-Skills jet-identification-strategy --agent gemini-cli

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/brycewang-stanford/Awesome-Journal-Skills.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/Journal-of-Economic-Theory-Skills/skills/jet-identification-strategy .gemini/skills/jet-identification-strategy && rm -rf skills-src

Use ~/.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/

Paste into Gemini CLI

Install the "jet-identification-strategy" agent skill from https://github.com/brycewang-stanford/Awesome-Journal-Skills/tree/main/Journal-of-Economic-Theory-Skills/skills/jet-identification-strategy into .gemini/skills/jet-identification-strategy/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "jet-identification-strategy", 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.

GitHub CLI

$ gh skill install brycewang-stanford/Awesome-Journal-Skills jet-identification-strategy

Installs 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).

skills CLI

$ npx skills add brycewang-stanford/Awesome-Journal-Skills --skill jet-identification-strategy -a github-copilot

Project install goes to .agents/skills/; add -g for ~/.copilot/skills/.

Manual copy

$ git clone --depth 1 https://github.com/brycewang-stanford/Awesome-Journal-Skills.git skills-src && mkdir -p .github/skills && cp -r skills-src/Journal-of-Economic-Theory-Skills/skills/jet-identification-strategy .github/skills/jet-identification-strategy && rm -rf skills-src

Use ~/.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/

Paste into GitHub Copilot

Install the "jet-identification-strategy" agent skill from https://github.com/brycewang-stanford/Awesome-Journal-Skills/tree/main/Journal-of-Economic-Theory-Skills/skills/jet-identification-strategy into .github/skills/jet-identification-strategy/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "jet-identification-strategy", 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.

skills CLI

$ npx skills add brycewang-stanford/Awesome-Journal-Skills --skill jet-identification-strategy -a opencode

OpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.

GitHub CLI

$ gh skill install brycewang-stanford/Awesome-Journal-Skills jet-identification-strategy --agent opencode

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/brycewang-stanford/Awesome-Journal-Skills.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/Journal-of-Economic-Theory-Skills/skills/jet-identification-strategy .opencode/skills/jet-identification-strategy && rm -rf skills-src

Use ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.

OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/

Paste into OpenCode

Install the "jet-identification-strategy" agent skill from https://github.com/brycewang-stanford/Awesome-Journal-Skills/tree/main/Journal-of-Economic-Theory-Skills/skills/jet-identification-strategy into .opencode/skills/jet-identification-strategy/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "jet-identification-strategy", 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: jet-identification-strategy
GitHub stars: 1.2k
Token cost: ~1.5k tokens
SKILL.md length: 596 words
Files: 1
Skills in repo: 2,387
Repo updated: Sep 27, 2026
First seen: Oct 7, 2026
Licence: MIT

At a glance

A skill your agent uses when hardening the assumptions, results, and proof architecture of a Journal of Economic Theory (JET) paper — the theory analogue of an identification strategy.

Hardening the assumptions
SKILL.md covers When to trigger, Why this replaces a causal…, The theory checklist and Assumption-set architecture…, plus 5 more sections
Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
Proof architecture of a Journal of Economic Theory (JET) paper — the theory analogue of an identification strategy

What it does

Jet Identification Strategy is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when hardening the assumptions, results, and proof architecture of a Journal of Economic Theory (JET) paper — the theory analogue of an identification strategy. Make every assumption explicit and load-bearing, architect the proof so two expert referees can verify it, and defend the generality/tractability trade-off; for JET, "identification" means assumption sets and proof exposition, not a causal design.

Its SKILL.md is about 1.5k 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

Hardening the assumptions
Proof architecture of a Journal of Economic Theory (JET) paper — the theory analogue of an identification strategy

Example prompts

“identification”
“/jet-identification-strategy”

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

Jet Identification Strategy loads about 1.5k tokens when it runs. Until then it costs about 110 tokens; SKILL.md has 596 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it: ~110
When it runs · the whole SKILL.md, loaded when a task matches: ~1.5k

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). 596 words, ~1,471 tokens.

Download SKILL.mdSave it as .claude/skills/jet-identification-strategy/SKILL.md (or your agent's skills folder).

name: jet-identification-strategy
description: Use when hardening the assumptions, results, and proof architecture of a Journal of Economic Theory (JET) paper — the theory analogue of an identification strategy. Make every assumption explicit and load-bearing, architect the proof so two expert referees can verify it, and defend the generality/tractability trade-off; for JET, "identification" means assumption sets and proof exposition, not a causal design.

Assumptions, Results & Proof Architecture (jet-identification-strategy)

When to trigger

You have a candidate theorem and need to make its assumptions and proof referee-proof
A referee may ask "is assumption X necessary?" or "does this hold in the general case?"
You are choosing between a clean special case and a more general but opaque statement

Why this replaces a causal "identification strategy"

JET is theory-first: there is no data design to identify. The credibility of a JET paper rests on assumptions that are explicit and minimal, results stated precisely, and proofs an expert can check — refereed single-blind by at least two reviewers who will verify each step.

The theory checklist

Assumptions

Every assumption is stated formally (domain, regularity: continuity, convexity, single-crossing, finiteness) before it is used
Each assumption is load-bearing — for each one, you can name the step that fails without it
No silent assumption smuggled into a proof (a common referee catch)
Necessity is addressed: a counterexample shows what breaks if a key assumption is dropped

Results

The main result is a clean theorem/proposition/characterization, numbered and self-contained
Genericity, existence, uniqueness, and comparative statics are separated into distinct statements
The statement says exactly what is proved — no informal "essentially" claims beyond the proof

Proof exposition

Proof architecture is visible: lemmas in dependency order, a one-paragraph roadmap for long proofs
Key step (fixed point, duality, induction, envelope/revelation argument) is named and motivated
Long/technical proofs moved to an appendix (thm-restate to restate); body keeps the idea
Notation is consistent end-to-end (referees abandon proofs they cannot parse)

Generality vs. tractability

The chosen level of generality is defended: a transparent special case can beat an unverifiable general one; a general result is worth it only if the proof remains checkable
Any restriction (finite types, two players) is flagged as a scope limit, not hidden

Assumption-set architecture (three tiers)

JET papers separate three tiers of premises; label them so referees see which is which:

Maintained structure — the model itself (agents, type spaces, action sets, timing). Lives in the model section as prose and definitions, not as numbered assumptions.
Economic assumptions — single-crossing, private values, independence, ambiguity attitudes, substitutability. Numbered A1, A2, …; each carries economic content and each earns a necessity discussion.
Technical regularity — compactness, continuity, measurability. Numbered last; defensible as standard, but still say which proof step uses each one.

Referee heuristic: the first thing checked is whether the theorem statement quantifies over exactly the numbered assumptions — nothing more, nothing less. A theorem invoking "the assumptions of Section 2" without numbers invites a hostile read.

Show full SKILL.md (179 more words)Show less

Proof-spine scaffold

text

Theorem 1 (statement quantified over A1–A3 only)
 ├─ Lemma 1: existence of the auxiliary object      [uses A1, A3 (compactness)]
 ├─ Lemma 2: monotonicity / single-crossing step    [uses A2]
 │    └─ Claim 2.1: boundary case                   [where A2 binds → necessity candidate]
 ├─ Main argument: fixed point / duality / induction (named in one body sentence)
 └─ Appendix B: full proofs of Lemmas 1–2; the body keeps the roadmap paragraph + key step
Example 1 (tightness): drop A2, hold everything else fixed → conclusion fails; cite it
right after Theorem 1, not in a footnote.

Writing the tightness discussion JET-style

Place the counterexample immediately after the theorem as a numbered Example, with one sentence saying which assumption it targets.
Make it minimal: change exactly one assumption and keep the rest of the environment fixed, so the referee attributes the failure to the right premise.
If no counterexample is available, state openly that necessity is an open question — JET referees respect a flagged open problem more than silence.

Micro-vignette (decision theory)

A representation theorem for ambiguity-averse preferences: A1 (weak order, continuity) is regularity; A2 (certainty independence) is the economic axiom. The proof's separation argument fails exactly when A2 is weakened to independence on constants only; Example 1 exhibits a maxmin preference violating the conclusion under the weakening. One page settles A2's tier, load-bearing step, and necessity — the page both referees read first.

Anti-patterns

A "general" theorem whose proof silently needs finiteness or continuity
Assumptions introduced inside a proof rather than stated up front
A monolithic 6-page proof with no roadmap or lemma decomposition
Claiming necessity of an assumption without a counterexample

Output format

【Theorem】<precise statement>
【Assumptions】[A1 used at step __ | A2 used at __ | necessity of Ak: counterexample/general]
【Proof spine】lemmas in order → key argument named → appendix offload
【Generality call】special-case-clean | general-but-checkable | (reject) general-unverifiable
【Next】jet-contribution-framing / jet-tables-figures (schematic) / jet-rebuttal

Files

Just SKILL.md in Journal-of-Economic-Theory-Skills/skills/jet-identification-strategy of brycewang-stanford/Awesome-Journal-Skills.

Open the folder on GitHubat commit 932eb23

Compare with similar skills

Jet Identification Strategy 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.

Jet Identification Strategy compared with similar skills
Skill	Stars	Used in	Tokens	Auto-check	Licence	Repo updated
Jet Identification Strategy this skillbrycewang-stanford/Awesome-Journal-Skills	1.2k	—	~1.5k	Automated safety check: Pass	MIT	14 days ago
Identification Proofsbrycewang-stanford/Auto-Empirical-Research-Skills	4.6k	—	~2.5k	Automated safety check: Pass	Custom licence	5 days ago
Proof Videoopenclaw/openclaw	392k	—	~2.4k	Automated safety check: Pass	MIT	today
Rigorous Math Prooftradecatlabs/vibe-coding-cn	17k	—	~571	Automated safety check: Pass	MIT	yesterday
Agent Security Hardeningaffaan-m/ECC	276k	—	~2.7k	Automated safety check: Pass	MIT	yesterday
Security And Hardeningpenpot/penpot	61k	6 repos	~4.7k	Automated safety check: Notes	MPL-2.0	yesterday

Similar skills

Identification Proofs
brycewang-stanford/Auto-Empirical-Research-Skills
This skill covers formal identification arguments and proofs in structural and reduced-form econometrics.
4.6k GitHub stars~2.5k tokensUpdated 5 days ago
Research & ScienceAuto-check passed
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.
392k GitHub stars~2.4k tokensUpdated today
Media & CreativeAuto-check passed
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.
17k GitHub stars~571 tokensUpdated yesterday
Research & ScienceAuto-check passed
Agent Security Hardening
affaan-m/ECC
Security hardening guidance for AI agent frameworks that process untrusted content, invoke tools, write workspace files, manage runtime identifiers, or handle credentials.
276k GitHub stars~2.7k tokensUpdated yesterday
SecurityAuto-check passed
Security And Hardening
penpot/penpot
Hardens code against vulnerabilities. An agent skill from penpot/penpot.
61k GitHub starsUsed in 6 repos~4.7k tokens
SecurityAuto-check: notes
Windows Hardening
sickn33/agentic-awesome-skills
Harden Windows servers per security baselines and CIS benchmarks.
47k GitHub starsUsed in 2 repos~4.4k tokens
Auto-check passed

More from brycewang-stanford/Awesome-Journal-Skills

All 2,387 skills in this repo

Aaag 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…
1.2k GitHub stars~1.3k tokensUpdated 14 days ago
Auto-check passed
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…
1.2k GitHub stars~1.3k tokensUpdated 14 days ago
Auto-check passed
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…
1.2k GitHub stars~1.4k tokensUpdated 14 days ago
Auto-check passed
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…
1.2k GitHub stars~1.4k tokensUpdated 14 days ago
Auto-check passed
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…
1.2k GitHub stars~1.3k tokensUpdated 14 days ago
Auto-check passed
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…
1.2k GitHub stars~1.6k tokensUpdated 14 days ago
Auto-check passed

Questions about Jet Identification Strategy

What does Jet Identification Strategy do?

A skill your agent uses when hardening the assumptions, results, and proof architecture of a Journal of Economic Theory (JET) paper — the theory analogue of an identification strategy. Jet Identification Strategy is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when hardening the assumptions, results, and proof architecture of a Journal of Economic Theory (JET) paper — the theory analogue of an identification strategy.

When should I use Jet Identification Strategy?

Jet Identification Strategy fits situations like: hardening the assumptions; proof architecture of a Journal of Economic Theory (JET) paper — the theory analogue of an identification strategy.

How do I install Jet Identification Strategy in Claude Code?

Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill jet-identification-strategy -a claude-code`. Or copy the skill folder (Journal-of-Economic-Theory-Skills/skills/jet-identification-strategy in brycewang-stanford/Awesome-Journal-Skills) into .claude/skills/jet-identification-strategy in your project. Claude Code loads it when a task matches its description.

How do I install Jet Identification Strategy in Codex?

Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill jet-identification-strategy -a codex`. Or copy the skill folder (Journal-of-Economic-Theory-Skills/skills/jet-identification-strategy in brycewang-stanford/Awesome-Journal-Skills) into .agents/skills/jet-identification-strategy in your project. Codex loads it when a task matches its description.

Can I use Jet Identification Strategy 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 jet-identification-strategy -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/jet-identification-strategy, .gemini/skills/jet-identification-strategy, .github/skills/jet-identification-strategy and .opencode/skills/jet-identification-strategy in your project.

What does Jet Identification Strategy need to run?

SKILL.md names no scripts, command-line tools or credentials: Jet Identification Strategy is instructions for the agent only.

Does Jet Identification Strategy 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 Jet Identification Strategy 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 Jet Identification Strategy use?

Jet Identification Strategy 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 Jet Identification Strategy use?

About 1.5k tokens (SKILL.md is roughly 5.9k 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 Jet Identification Strategy?

Skills that share tags, products or a category with Jet Identification Strategy: Identification Proofs (brycewang-stanford/Auto-Empirical-Research-Skills, 4.6k stars), Proof Video (openclaw/openclaw, 392k stars), Rigorous Math Proof (tradecatlabs/vibe-coding-cn, 17k stars) and Agent Security Hardening (affaan-m/ECC, 276k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Jet Identification Strategy?

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.

Install Jet Identification Strategy

Facts

At a glance

What it does

When your agent uses it

Example prompts

What it can do on your machine

Tool permissions

Runs code

Network

Credentials

Context cost

Safety

SKILL.md

Assumptions, Results & Proof Architecture (jet-identification-strategy)

When to trigger

Why this replaces a causal "identification strategy"

The theory checklist

Assumptions

Results

Proof exposition

Generality vs. tractability

Assumption-set architecture (three tiers)

Proof-spine scaffold

Writing the tightness discussion JET-style

Micro-vignette (decision theory)

Anti-patterns

Output format

Files

Compare with similar skills

Similar skills

More from brycewang-stanford/Awesome-Journal-Skills

Questions about Jet Identification Strategy