A skill your agent uses when revising a COLT (Conference on Learning Theory) paper for theorem-first exposition — formal setup before results, informal-then-formal theorem statements, proof…

MITAuto-check passedWriting & Content

Install Colt Writing Style

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

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

GitHub CLI
$ gh skill install brycewang-stanford/Awesome-Journal-Skills colt-writing-style --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-writing-style .claude/skills/colt-writing-style && 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-writing-style
GitHub stars
1.2k
Token cost
~1.6k tokens
SKILL.md length
742 words
Files
1
Skills in repo
2,387
Repo updated
First seen
Licence
MIT

At a glance

A skill your agent uses when revising a COLT (Conference on Learning Theory) paper for theorem-first exposition — formal setup before results, informal-then-formal theorem statements, proof…

  • Works in 5 steps: Problem in the field's own vocabulary —… → What was known: the best prior upper and… → The new result, informally: "we close… → …
  • Revising a COLT (Conference on Learning Theory) paper for theorem-first exposition — formal setup before results
  • SKILL.md covers The COLT first-pages arc, Informal/formal pairing, Sentence-level repairs and Quantifier and constant hygiene, plus 5 more sections
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Colt Writing Style is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when revising a COLT (Conference on Learning Theory) paper for theorem-first exposition — formal setup before results, informal-then-formal theorem statements, proof overviews that sell the technique, quantifier and constant hygiene, and fitting the argument's spine into 12 PMLR-formatted pages.

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 Writing & Content, covering Brand voice and tone. 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

  • Revising a COLT (Conference on Learning Theory) paper for theorem-first exposition — formal setup before results
  • Informal-then-formal theorem statements
  • Proof overviews that sell the technique
  • Quantifier and constant hygiene

Example prompts

  • “/colt-writing-style”

Workflow steps

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

  1. Problem in the field's own vocabulary — regret, sample complexity, minimax
  2. What was known: the best prior upper and lower bounds, with citations, ideally
  3. The new result, informally: "we close this gap up to log factors" /
  4. The formal setup: complete model, protocol, and assumptions, before any formal
  5. Main theorems, then the technique paragraph: what the proof does that prior

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 Writing Style loads about 1.6k tokens when it runs. Until then it costs about 80 tokens; SKILL.md has 742 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~80
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). 742 words, ~1,597 tokens.

Download SKILL.mdSave it as .claude/skills/colt-writing-style/SKILL.md (or your agent's skills folder).
name
colt-writing-style
description
Use when revising a COLT (Conference on Learning Theory) paper for theorem-first exposition — formal setup before results, informal-then-formal theorem statements, proof overviews that sell the technique, quantifier and constant hygiene, and fitting the argument's spine into 12 PMLR-formatted pages.

COLT Writing Style

Use this when revising prose and mathematics for COLT. The style target is a paper a learning theorist can referee efficiently: the model is unambiguous by page 3, the main theorem is quotable in one breath, and the proof overview convinces the reader the technique is new before the appendix is opened.

The COLT first-pages arc

  1. Problem in the field's own vocabulary — regret, sample complexity, minimax risk, oracle complexity, mistake bound — within the first paragraphs.
  2. What was known: the best prior upper and lower bounds, with citations, ideally as an inline mini-table when three or more results interact.
  3. The new result, informally: "we close this gap up to log factors" / "we show the two models are not equivalent" — one sentence, no notation debt.
  4. The formal setup: complete model, protocol, and assumptions, before any formal theorem. COLT readers refuse theorems whose objects are undefined.
  5. Main theorems, then the technique paragraph: what the proof does that prior arguments could not, named honestly (a new potential function, a reduction, a coupling, a lower-bound instance family).

Informal/formal pairing

State important results twice — an informal version in the introduction and the formal version after the setup — and keep them visibly consistent:

latex
% Introduction:
\begin{theorem}[informal; see Theorem~\ref{thm:main}]
Any proper learner needs $\Omega(d/\epsilon)$ samples in this model,
and an improper learner achieves $O(\log(d)/\epsilon)$.
\end{theorem}

% After the setup:
\begin{theorem}\label{thm:main}
Let $\mathcal{H}$ satisfy Assumption~\ref{ass:vc}. For every proper learner $A$
there is a distribution $D$ with ... . Moreover, Algorithm~\ref{alg:improper}
outputs $h$ with $\mathrm{err}_D(h) \le \epsilon$ using
$m = O(\epsilon^{-1}\log d)$ samples, with probability $1-\delta$.
\end{theorem}

The informal statement is a promise; reviewers check that the formal statement redeems it without weasel adjustments (an extra assumption appearing only in the formal version is a credibility leak).

Sentence-level repairs

Draft habitCOLT-grade replacement
"It is easy to see that...""By Jensen's inequality applied to (7)," — name the tool
"For simplicity assume..." (silently binding)"Assumption 3 (stated formally in Section 2); we discuss removing it in Remark 4"
"significantly improves prior work""improves the dependence on $d$ from $d^2$ to $d\log d$ (Table 1)"
"standard concentration arguments give""Bernstein's inequality with variance bound (12) gives"
"we believe the bound is tight""we conjecture the $\log$ factor is necessary; Section 5 gives partial evidence"
"our novel technique"Describe the technique; let the reviewer call it novel

Quantifier and constant hygiene

  • Every theorem fixes its quantifier order explicitly: for all horizons, there exists an algorithm — or the reverse. Half of "counterexamples" reviewers report are quantifier misreadings the author invited.
  • High-probability versus expectation must be declared in the statement, with the δ-dependence visible if the bound carries one.
  • Absolute constants may be absorbed into O(·); problem parameters (d, K, horizon, condition numbers, norm bounds) may not, unless the notation section says which parameters O(·) is allowed to hide — and then it must obey its own declaration.
  • Lower bounds state the instance family; "there is a hard distribution" without its construction location reads as unfinished.
Show full SKILL.md (305 more words)Show less

Budgeting 12 pages

The 2026 CFP allowed 12 PMLR-formatted body pages (references and appendix free, checked 2026-07-08). A working allocation for a two-theorem paper:

  • 1.5 pages: introduction with the known-vs-new table.
  • 1 page: related work (compressed to contrasts; full survey in the appendix).
  • 2 pages: setup and definitions — resist compressing this below completeness.
  • 2.5 pages: main results with remarks and consequences.
  • 4 pages: proof overviews and key lemmas — the section that wins the paper.
  • 1 page: discussion, open questions (COLT culture rewards honest open questions), and the illustration figure if one exists.

If the spine does not fit, cut a secondary theorem to the appendix wholesale rather than thinning every proof overview into mush.

Abstract formula

Five sentences carry a COLT abstract: (1) the model and the question, in field vocabulary; (2) the best known bounds; (3) your result with explicit rates or the separation named; (4) the technique in one clause; (5) an optional consequence or open question. Numbers belong in the abstract at this venue — an abstract without a rate reads as an abstract without a result. Delete from drafts: application motivation beyond one clause, "extensive experiments," and any sentence beginning "Recently, there has been growing interest."

Tone and culture notes

  • First person plural, plain declarative sentences, no marketing register. "We prove" outranks "we are excited to present."
  • Name predecessors generously and precisely; the community is small and the referee may be one of them.
  • Remarks after theorems are for interpretation and sharpness discussion; new claims hiding in remarks must be flagged proved/unproved.
  • British/American spelling is unregulated; consistency is the rule that exists.

Anonymity phrasing

Write self-references in third person ("extending the reduction of [14]") and strip acknowledgements for review — the 2026 template's anon option handles the author block, but prose leaks are on you. See colt-submission for the full sweep.

Output format

text
[Style verdict] referee-efficient / setup-deficient / overclaimed / disorganized
[First-pages arc] <which of the five steps is missing or out of order>
[Statement hygiene] <quantifier / constant / probability-mode fixes>
[Technique paragraph] present and honest / absent / vague
[12-page plan] <sections over budget and the cut>

© 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-writing-style of brycewang-stanford/Awesome-Journal-Skills.

Open the folder on GitHubat commit 932eb23

Compare with similar skills

Colt Writing Style 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 Writing Style compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Colt Writing Style this skillbrycewang-stanford/Awesome-Journal-Skills1.2k—~1.6kAutomated safety check: PassMIT
Crim Writing Stylefranklee16/academic-research-skills2231 repos~975Automated safety check: PassNone
Est Writing Stylefranklee16/academic-research-skills2231 repos~798Automated safety check: PassNone
Jaar Writing Stylefranklee16/academic-research-skills2231 repos~760Automated safety check: PassNone
Jcf Writing Stylefranklee16/academic-research-skills2231 repos~669Automated safety check: PassNone
Joc Writing Stylefranklee16/academic-research-skills2231 repos~873Automated safety check: PassNone

Similar skills

  • Crim Writing Style

    franklee16/academic-research-skills

    A skill your agent uses when drafting or polishing a Criminology (ASC / Wiley) manuscript so it reads for an interdisciplinary criminology audience, follows the journal's APA-based style, and uses…

    223 GitHub starsUsed in 1 repo~975 tokens
    Writing & ContentAuto-check passed
  • Est Writing Style

    franklee16/academic-research-skills

    A skill your agent uses when drafting or polishing the prose of an Environmental Science & Technology (ES&T) manuscript so it reads for a multidisciplinary audience in ACS style and fits the…

    223 GitHub starsUsed in 1 repo~798 tokens
    Writing & ContentAuto-check passed
  • Jaar Writing Style

    franklee16/academic-research-skills

    A skill your agent uses when drafting or polishing the prose of a Journal of the American Academy of Religion (JAAR) article so it is clear, analytic, gender-neutral, and readable across the study…

    223 GitHub starsUsed in 1 repo~760 tokens
    Writing & ContentAuto-check passed
  • Jcf Writing Style

    franklee16/academic-research-skills

    A skill your agent uses when drafting or polishing prose for a Journal of Corporate Finance (JCF) manuscript — the ≤250-word abstract, 1–7 keywords, author-date (Harvard) in-text citations, and the…

    223 GitHub starsUsed in 1 repo~669 tokens
    Writing & ContentAuto-check passed
  • Joc Writing Style

    franklee16/academic-research-skills

    A skill your agent uses when drafting or polishing a Journal of Communication (JoC) manuscript so it reads for the whole field, follows APA 7th edition, and fits the limits (main document <= 35…

    223 GitHub starsUsed in 1 repo~873 tokens
    Writing & ContentAuto-check passed
  • Jpe Writing Style

    franklee16/academic-research-skills

    A skill your agent uses when polishing the prose of a Journal of Political Economy (JPE) manuscript into its spare, analytical, economics-first register.

    223 GitHub starsUsed in 1 repo~1.1k tokens
    Writing & ContentAuto-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 Colt Writing Style

What does Colt Writing Style do?

A skill your agent uses when revising a COLT (Conference on Learning Theory) paper for theorem-first exposition — formal setup before results, informal-then-formal theorem statements, proof…. Colt Writing Style is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when revising a COLT (Conference on Learning Theory) paper for theorem-first exposition — formal setup before results, informal-then-formal theorem statements, proof overviews that sell the technique, quantifier and constant hygiene, and fitting the argument's spine into 12 PMLR-formatted pages.

When should I use Colt Writing Style?

Colt Writing Style fits situations like: revising a COLT (Conference on Learning Theory) paper for theorem-first exposition — formal setup before results; informal-then-formal theorem statements; proof overviews that sell the technique; quantifier and constant hygiene.

How do I install Colt Writing Style in Claude Code?

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

How do I install Colt Writing Style in Codex?

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

Can I use Colt Writing Style 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-writing-style -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-writing-style, .gemini/skills/colt-writing-style, .github/skills/colt-writing-style and .opencode/skills/colt-writing-style in your project.

What does Colt Writing Style need to run?

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

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

Colt Writing Style 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 Writing Style use?

About 1.6k tokens (SKILL.md is roughly 6.4k 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 Writing Style?

Skills that share tags, products or a category with Colt Writing Style: Crim Writing Style (franklee16/academic-research-skills, 223 stars), Est Writing Style (franklee16/academic-research-skills, 223 stars), Jaar Writing Style (franklee16/academic-research-skills, 223 stars) and Jcf Writing Style (franklee16/academic-research-skills, 223 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Colt Writing Style?

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.