New: 98,000+ skills indexed from GitHub repos with 100+ stars · every skill safety-checkedBrowse top skillsTop skills
Esc to closeBrowse all skills
Submit a skillBrowse skills
Submit a skillBrowse skills

Agent skill

Icalp Writing Style

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

A skill your agent uses when shaping the exposition of an ICALP (EATCS) theory paper — stating the model before the theorem, putting a legible theorem statement and its improvement over prior bounds…

MITAuto-check passedWriting & Content

Install Icalp Writing Style

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

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

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

At a glance

A skill your agent uses when shaping the exposition of an ICALP (EATCS) theory paper — stating the model before the theorem, putting a legible theorem statement and its improvement over prior bounds…

  • Works in 5 steps: State the model, then the theorem. Fix… → Put a legible theorem statement in the… → Position against a named prior bound.… → …
  • Shaping the exposition of an ICALP (EATCS) theory paper — stating the model before the theorem
  • SKILL.md covers The first-page arc, Track-aware voice, The 15-page discipline and Theorems, definitions, and the…, plus 4 more sections
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Icalp Writing Style is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when shaping the exposition of an ICALP (EATCS) theory paper — stating the model before the theorem, putting a legible theorem statement and its improvement over prior bounds on the first page, structuring the 15-page body around the argument while full proofs live in the appendix/full version, and meeting the correctness-and-clarity bar of Track A and Track B referees.

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

  • Shaping the exposition of an ICALP (EATCS) theory paper — stating the model before the theorem
  • Putting a legible theorem statement and its improvement over prior bounds on the first page
  • Structuring the 15-page body around the argument while full proofs live in the appendix/full version
  • Meeting the correctness-and-clarity bar of Track A and Track B referees

Example prompts

  • “/icalp-writing-style”

Workflow steps

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

  1. State the model, then the theorem. Fix the exact setting — the computational model, the
  2. Put a legible theorem statement in the abstract. A specialist should read the abstract and know
  3. Position against a named prior bound. State the best previous result and your improvement in the
  4. Name the barrier and the technique. Say what obstruction prior work hit and what idea gets past
  5. Say where the proof lives. The body may sketch; point explicitly to the appendix / full version

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

Icalp Writing Style loads about 1.4k tokens when it runs. Until then it costs about 99 tokens; SKILL.md has 633 words of instructions outside code blocks.

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

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

Download SKILL.mdSave it as .claude/skills/icalp-writing-style/SKILL.md (or your agent's skills folder).
name
icalp-writing-style
description
Use when shaping the exposition of an ICALP (EATCS) theory paper — stating the model before the theorem, putting a legible theorem statement and its improvement over prior bounds on the first page, structuring the 15-page body around the argument while full proofs live in the appendix/full version, and meeting the correctness-and-clarity bar of Track A and Track B referees.

ICALP Writing Style

Build the ICALP skeleton: model → theorem → improvement → technique → complete proof. ICALP referees are subject experts who will check the mathematics, so the writing has two jobs at once — make the contribution legible on the first page, and make the proofs verifiable in the body, appendix, and full version. The 15-page body is a hard budget; exposition, not omission, is how you fit.

The first-page arc

  1. State the model, then the theorem. Fix the exact setting — the computational model, the complexity measure, the class of objects — before the claim. "Fully dynamic, deterministic, worst-case update time" comes before "n^{o(1)}."
  2. Put a legible theorem statement in the abstract. A specialist should read the abstract and know what you proved and by how much, without opening the proof.
  3. Position against a named prior bound. State the best previous result and your improvement in the same breath. "The best known bound was X; we give Y" is the ICALP sentence.
  4. Name the barrier and the technique. Say what obstruction prior work hit and what idea gets past it. Referees reward a clearly identified new technique over an opaque win.
  5. Say where the proof lives. The body may sketch; point explicitly to the appendix / full version where each claim is proved in full.

Track-aware voice

  • Track A (Algorithms, Complexity, Games): lead with the bound. The reader wants the running time / approximation ratio / complexity class and the comparison to prior work up front; the technique section then shows how.
  • Track B (Automata, Logic, Semantics): lead with the model and the exact question — the fragment of logic, the class of automata, the calculus — and the decidability/complexity/ characterization you establish. Definitional precision is itself part of the contribution.

The 15-page discipline

  • The body sketches proofs and proves the key lemmas; routine or long proofs go to the labelled appendix / full version. But the body must contain enough that a referee can follow the argument and locate every deferred step (icalp-supplementary).
  • Recover space by compression, not omission: fold repetitive case analysis, state a general lemma once, cite standard tools rather than re-deriving them. Do not shrink margins or fonts — the LIPIcs style is fixed.
  • A body padded to 15 pages with all proofs banished to an unread appendix is a scored risk: reviewers judge on the body and distrust a paper whose substance they cannot see.
Show full SKILL.md (239 more words)Show less

Theorems, definitions, and the proof contract

  • Every headline theorem has a complete proof the referee can find — in the appendix if not the body. "Details omitted" with no full version is the classic ICALP soundness failure.
  • Definitions before use, notation minimal. Introduce only the notation the proof needs; a wall of symbols on page 2 loses the reader before the theorem.
  • State lemmas so the proof structure is visible. A reader should be able to reconstruct the dependency graph of lemmas from their statements.

Upper and lower bounds together

ICALP prizes tightness. When you can, pair an algorithm with a matching (possibly conditional) lower bound, or a decidability result with a complexity classification. A result that is provably optimal in its parameter reads far stronger than an isolated upper bound — and it pre-empts the referee's "is this tight?" question.

Anti-patterns (theory-specific)

  • Benchmark framing. "Fast on these instances" is experimental-algorithms voice; ICALP wants a provable bound (an icalp-topic-selection re-route signal if there is no theorem behind it).
  • Buried theorem. A first page about how "important and active" the area is, with the actual statement on page 6.
  • Unpositioned improvement. A bound with no comparison to the best known result — the referee cannot tell if it is progress.
  • Proof-by-intimidation. Dense symbol-pushing that hides a gap; referees who cannot check a step treat it as unproved.
  • Over-signposted roadmap substituting for a statement of the result.

Self-check before drafting the body

text
[Model] is the computational model / logical fragment fixed before the first theorem?
[Legibility] can a specialist state my result and its improvement from the abstract alone?
[Positioning] is the best prior bound named and my delta stated against it?
[Barrier] is the obstruction prior work hit, and my technique for evading it, identified?
[Proof contract] does every headline theorem have a complete proof the referee can find?
[Tightness] is there a matching lower bound / optimality statement where one is expected?

Output format

text
[Track] A / B — and the corresponding lead (bound vs model+question)
[First-page arc] model -> theorem -> improvement -> technique -> proof-location: all present? gaps?
[Page budget] body <=15pp excl. refs+appendix; compression targets
[Proof contract] theorems lacking a complete proof somewhere: <list>
[Tightness] matching lower bound present / justified absent
[Rewrite queue] <ordered edits to reach the ICALP bar>

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

Open the folder on GitHubat commit 932eb23

Compare with similar skills

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

Icalp Writing Style compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Icalp Writing Style this skillbrycewang-stanford/Awesome-Journal-Skills1.2k—~1.4kAutomated 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

Categories

Questions about Icalp Writing Style

What does Icalp Writing Style do?

A skill your agent uses when shaping the exposition of an ICALP (EATCS) theory paper — stating the model before the theorem, putting a legible theorem statement and its improvement over prior bounds…. Icalp Writing Style is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when shaping the exposition of an ICALP (EATCS) theory paper — stating the model before the theorem, putting a legible theorem statement and its improvement over prior bounds on the first page, structuring the 15-page body around the argument while full proofs live in the appendix/full version, and meeting the correctness-and-clarity bar of Track A and Track B referees.

When should I use Icalp Writing Style?

Icalp Writing Style fits situations like: shaping the exposition of an ICALP (EATCS) theory paper — stating the model before the theorem; putting a legible theorem statement and its improvement over prior bounds on the first page; structuring the 15-page body around the argument while full proofs live in the appendix/full version; meeting the correctness-and-clarity bar of Track A and Track B referees.

How do I install Icalp Writing Style in Claude Code?

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

How do I install Icalp Writing Style in Codex?

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

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

What does Icalp Writing Style need to run?

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

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

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

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

Skills that share tags, products or a category with Icalp 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 Icalp 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.