A skill your agent uses when strengthening the reproducibility of a COLT (Conference on Learning Theory) paper, where reproducing means re-deriving — complete proofs, explicit assumptions, tracked…

MITAuto-check passedResearch & Science

Install Colt Reproducibility

skills CLI
$ npx skills add brycewang-stanford/Awesome-Journal-Skills --skill colt-reproducibility -a claude-code

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

GitHub CLI
$ gh skill install brycewang-stanford/Awesome-Journal-Skills colt-reproducibility --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/COLT-Skills/skills/colt-reproducibility .claude/skills/colt-reproducibility && 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/

Facts

Skill name
colt-reproducibility
GitHub stars
1.2k
Token cost
~1.6k tokens
SKILL.md length
787 words
Files
1
Skills in repo
2,387
Repo updated
First seen
Licence
MIT

At a glance

A skill your agent uses when strengthening the reproducibility of a COLT (Conference on Learning Theory) paper, where reproducing means re-deriving — complete proofs, explicit assumptions, tracked…

  • Works in 5 steps: Print the numbered-statement list (all… → For each, a non-author coauthor answers:… → Verify proofs in dependency order,… → …
  • Strengthening the reproducibility of a COLT (Conference on Learning Theory) paper
  • SKILL.md covers The re-derivability standard, Audit table: where…, Assumption bookkeeping pattern and Numerical illustrations, when…, plus 4 more sections
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Colt Reproducibility is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when strengthening the reproducibility of a COLT (Conference on Learning Theory) paper, where reproducing means re-deriving — complete proofs, explicit assumptions, tracked constants, correctly invoked external results, self-contained notation — plus seeds and scripts for any numerical illustration the paper carries.

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.

It sits in Research & Science, covering Reproducible research. 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

  • Strengthening the reproducibility of a COLT (Conference on Learning Theory) paper
  • Where reproducing means re-deriving — complete proofs
  • Explicit assumptions
  • Tracked constants

Example prompts

  • “/colt-reproducibility”

Workflow steps

5 steps, taken from the first numbered list in SKILL.md.

  1. Print the numbered-statement list (all definitions, assumptions, lemmas, theorems).
  2. For each, a non-author coauthor answers: can I state precisely what this claims,
  3. Verify proofs in dependency order, marking each line verified/unverified; the
  4. Re-check every external citation against the cited source's actual hypotheses —
  5. Reconcile body sketches against appendix proofs: a sketch that describes an older

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 (its code samples are latex).

    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

Colt Reproducibility loads about 1.6k tokens when it runs. Until then it costs about 86 tokens; SKILL.md has 787 words of instructions outside code blocks.

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

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). 787 words, ~1,633 tokens.

Download SKILL.mdSave it as .claude/skills/colt-reproducibility/SKILL.md (or your agent's skills folder).
name
colt-reproducibility
description
Use when strengthening the reproducibility of a COLT (Conference on Learning Theory) paper, where reproducing means re-deriving — complete proofs, explicit assumptions, tracked constants, correctly invoked external results, self-contained notation — plus seeds and scripts for any numerical illustration the paper carries.

COLT Reproducibility

At COLT, reproducibility means a competent reader can re-derive every claim from the PDF alone. There is no reproducibility checklist form in the COLT 2026 CFP (checked 2026-07-08) — the venue enforces the property the hard way, through referees who attempt the re-derivation during review. This skill is the pre-submission audit that makes that attempt succeed.

The re-derivability standard

A theorem is reproducible when all of the following hold:

  • Its statement is formally complete: every symbol quantified, every assumption named in the statement itself or cited by an explicit assumption label, the probability space and adversary model unambiguous.
  • Its proof exists in full inside the submitted PDF — COLT's unlimited appendix removes every excuse for "omitted for lack of space."
  • Each proof step is locally checkable: an expert reading line k needs only lines 1..k-1, cited external results, and standard background — never your unpublished intuition.
  • Constants and parameter regimes survive the chain: if Theorem 1 needs n ≥ C·d·log(1/δ), the reader can trace what C is or where it was declared absolute.

Audit table: where re-derivation fails

Failure modeTypical symptom in the PDFRepair
Hypothesis smugglingProof uses independence never assumedAdd the assumption to the statement, or redo the step
External-result misuse"By [X], ..." where [X] needs bounded support you don't haveCheck [X]'s hypotheses; find the right variant or prove a lemma
Constant driftC doubles silently between two displaysNumber constants (C_1, C_2, ...) and track them in a ledger
Case leakage"The case d=1 is analogous" when it is notWrite the case or prove the reduction
Notation overloadSame symbol for a filtration and a function classOne notation table, enforced globally
Silent regime switchBound proved for T large, quoted for all TState the threshold explicitly in the theorem

Assumption bookkeeping pattern

Give assumptions their own numbered environment and cite them by label everywhere:

latex
\newtheorem{assumption}{Assumption}

\begin{assumption}[Bounded losses]\label{ass:bounded}
For all $t$, the loss $\ell_t$ maps to $[0,1]$.
\end{assumption}

\begin{theorem}\label{thm:regret}
Under Assumptions~\ref{ass:bounded} and~\ref{ass:oblivious}, the algorithm's
regret satisfies $R_T \le 4\sqrt{T \log K}$ for all $T \ge 1$.
\end{theorem}

The payoff is auditable dependency: a reviewer can grep which theorems rely on obliviousness, and your rebuttal can answer "is Assumption 2 needed for Theorem 3?" with a pointer instead of an essay.

Numerical illustrations, when present

Some COLT papers plot a simulated regret curve or a phase transition to illustrate a bound. The theory community's floor for those figures:

  • Fixed seeds, stated replication counts, and error bars whose meaning the caption defines; a noisy single run "consistent with the theory" persuades no one here.
  • The simulated regime must be the theorem's regime — matching horizon, dimension, and noise assumptions — or the mismatch must be acknowledged as exploratory.
  • The generating script should be one dependency-light file, releasable after acceptance; during review, describe the procedure precisely in the appendix since no upload channel exists.
  • Never let an illustration silently extend the claim ("the bound appears to hold for heavy tails too") without labeling it as conjecture.
Show full SKILL.md (323 more words)Show less

Vignette: the spine of a lower-bound paper

Consider a submission whose main result is a $\Omega(\sqrt{TK})$ lower bound via a new instance family. Its re-derivability spine, in the order a referee will attack it:

  • the instance family's construction, with every distribution parameter explicit and the randomization protocol (oblivious vs. adaptive) named;
  • the information-theoretic step (say, a KL-divergence calculation) with the exact divergence bound displayed, not cited as "standard";
  • the reduction from learner performance to the divergence quantity, where hypothesis smuggling most often hides (does the argument secretly assume deterministic learners? say so or generalize);
  • the final optimization over instance parameters, with the maximizing choice written out — "choosing ε appropriately" is where constants go to die.

A referee who can walk this spine without leaving the PDF marks correctness resolved; each externalized step converts into a review question, and three review questions into a reject.

Pre-submission re-derivation drill

  1. Print the numbered-statement list (all definitions, assumptions, lemmas, theorems).
  2. For each, a non-author coauthor answers: can I state precisely what this claims, including quantifiers, without reading the proof? Rewrite until yes.
  3. Verify proofs in dependency order, marking each line verified/unverified; the colt-artifact-evaluation skill's ledger format works here.
  4. Re-check every external citation against the cited source's actual hypotheses — allocate real time; this is where careful papers die.
  5. Reconcile body sketches against appendix proofs: a sketch that describes an older proof strategy than the appendix executes reads as a gap to a referee.

Cycle-volatility warnings

  • If a future COLT cycle adds any checklist, code policy, or supplementary channel, the current CFP announces it; the 2026 cycle had none (待核实 in later cycles).
  • The 12-page body and single-PDF rules that shape where proofs live are the 2026 formulation; re-read the live CFP before restructuring a paper around them.
  • Formatting of assumptions and environments is a house-style choice, not a CFP rule; the CFP-level constraints remain the 12-page body and the single PDF.

Output format

text
[Re-derivability verdict] re-derivable / gaps found
[Statement completeness] <theorems needing quantifier or assumption repair>
[Constant ledger] tracked / drift at <displays>
[External-results audit] <citations with unchecked hypotheses>
[Illustration floor] seeds+replications stated / absent / no numerics in paper

© 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 COLT-Skills/skills/colt-reproducibility of brycewang-stanford/Awesome-Journal-Skills.

Open the folder on GitHubat commit 932eb23

Compare with similar skills

Colt Reproducibility 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.

Colt Reproducibility compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Colt Reproducibility this skillbrycewang-stanford/Awesome-Journal-Skills1.2k—~1.6kAutomated safety check: PassMIT
Peer ReviewK-Dense-AI/claude-scientific-writer2.4k2 repos~3.1kAutomated safety check: NotesMIT
CHARLS Paper Reproduction Guidexjtulyc/MedgeClaw6171 repos~1.8kAutomated safety check: PassNone
Compute Environment Setupaipoch/open-science5.5k—~2.6kAutomated safety check: PassApache-2.0
Figure Styleaipoch/open-science5.5k—~5.1kAutomated safety check: PassApache-2.0
Add Bactopia Toolbactopia/bactopia522—~4.1kAutomated safety check: PassMIT

Similar skills

  • Peer Review

    K-Dense-AI/claude-scientific-writer

    Prepare evidence-bounded, constructive peer-review drafts and structured manuscript assessments.

    2.4k GitHub starsUsed in 2 repos~3.1k tokens
    Research & ScienceAuto-check: notes
  • Guides an agent through reproducing papers built on the CHARLS health and retirement survey, from variable mapping to cognition, depression and isolation scores.

    617 GitHub starsUsed in 1 repo~1.8k tokens
    Research & ScienceAuto-check passed
  • Compute Environment Setup

    aipoch/open-science

    Prepares setup instructions and a named activation file for a user-managed software environment on an Open-Science SSH or Slurm compute host.

    5.5k GitHub stars~2.6k tokensUpdated today
    Research & ScienceAuto-check passed
  • Figure Style

    aipoch/open-science

    Publication-grade correctness and legibility rules for final-deliverable scientific figures, not exploratory plots.

    5.5k GitHub stars~5.1k tokensUpdated today
    Research & ScienceAuto-check passed
  • Add Bactopia Tool

    bactopia/bactopia

    Scaffold a complete Bactopia Tool across all three tiers -- module, subworkflow, and workflow entry point under workflows/bactopia-tools/.

    522 GitHub stars~4.1k tokensUpdated 2 mo ago
    Research & ScienceAuto-check passed
  • Modeling Code and Result Contracts

    yushui2022/MathModel-Skill

    Generates result-evidence contracts, tables and runnable q1 to q3 modeling code scaffolds for a math modeling paper from a model route, a data plan and cleaned data.

    454 GitHub stars~1.4k tokensUpdated 3 days ago
    Research & ScienceAuto-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 13 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 13 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 13 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 13 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 13 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 13 days ago
    Auto-check passed

Questions about Colt Reproducibility

What does Colt Reproducibility do?

A skill your agent uses when strengthening the reproducibility of a COLT (Conference on Learning Theory) paper, where reproducing means re-deriving — complete proofs, explicit assumptions, tracked…. Colt Reproducibility is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when strengthening the reproducibility of a COLT (Conference on Learning Theory) paper, where reproducing means re-deriving — complete proofs, explicit assumptions, tracked constants, correctly invoked external results, self-contained notation — plus seeds and scripts for any numerical illustration the paper carries.

When should I use Colt Reproducibility?

Colt Reproducibility fits situations like: strengthening the reproducibility of a COLT (Conference on Learning Theory) paper; where reproducing means re-deriving — complete proofs; explicit assumptions; tracked constants.

How do I install Colt Reproducibility in Claude Code?

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

How do I install Colt Reproducibility in Codex?

Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill colt-reproducibility -a codex`. Or copy the skill folder (COLT-Skills/skills/colt-reproducibility in brycewang-stanford/Awesome-Journal-Skills) into .agents/skills/colt-reproducibility in your project. Codex loads it when a task matches its description.

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

What does Colt Reproducibility need to run?

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

Does Colt Reproducibility 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 Colt Reproducibility 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 Colt Reproducibility use?

Colt Reproducibility 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 Colt Reproducibility 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 Colt Reproducibility?

Skills that share tags, products or a category with Colt Reproducibility: Peer Review (K-Dense-AI/claude-scientific-writer, 2.4k stars), CHARLS Paper Reproduction Guide (xjtulyc/MedgeClaw, 617 stars), Compute Environment Setup (aipoch/open-science, 5.5k stars) and Figure Style (aipoch/open-science, 5.5k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Colt Reproducibility?

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.