A skill your agent uses when deciding how to split an ICDT (International Conference on Database Theory) paper between the 15-page lipics-v2021 body and the clearly-marked appendix that referees…

MITAuto-check passedDocuments & Office

Install Icdt Supplementary

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

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

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

At a glance

A skill your agent uses when deciding how to split an ICDT (International Conference on Database Theory) paper between the 15-page lipics-v2021 body and the clearly-marked appendix that referees…

  • Given that online/external appendices are not allowed and every proof needed to certify the result must live inside the single submitted PDF
  • SKILL.md covers The one hard rule, What belongs where, Writing for "read at the PC's… and What the appendix is not, plus 2 more sections
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
  • Tasks that involve PDF

What it does

Icdt Supplementary is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when deciding how to split an ICDT (International Conference on Database Theory) paper between the 15-page lipics-v2021 body and the clearly-marked appendix that referees read at their discretion, given that online/external appendices are not allowed and every proof needed to certify the result must live inside the single submitted PDF.

Its SKILL.md is about 1.1k 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 Documents & Office, covering PDF. 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

  • Given that online/external appendices are not allowed and every proof needed to certify the result must live inside the single submitted PDF
  • Tasks that involve PDF

Example prompts

  • “/icdt-supplementary”

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

Icdt Supplementary loads about 1.1k tokens when it runs. Until then it costs about 90 tokens; SKILL.md has 539 words of instructions outside code blocks.

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

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). 539 words, ~1,083 tokens.

Download SKILL.mdSave it as .claude/skills/icdt-supplementary/SKILL.md (or your agent's skills folder).
name
icdt-supplementary
description
Use when deciding how to split an ICDT (International Conference on Database Theory) paper between the 15-page lipics-v2021 body and the clearly-marked appendix that referees read at their discretion, given that online/external appendices are not allowed and every proof needed to certify the result must live inside the single submitted PDF.

ICDT Supplementary Material

Decide what goes in the body, what goes in the appendix, and — the ICDT-specific constraint — accept that there is no online supplement. ICDT allows a clearly marked appendix inside the submission PDF, read at the discretion of the program committee, but it does not allow online/external appendices. So everything a referee could need to certify your theorem must be in the one PDF, and you must write the body assuming the appendix might not be read.

The one hard rule

The 15-page body (excluding references) must let a referee judge that the result is correct and significant on its own. The appendix supplies the full proofs for the referee who chooses to check them. Nothing decision-critical may depend on material outside the submitted PDF.

Because online appendices are forbidden, you cannot offload proofs to arXiv "for the reviewers." The full version on arXiv is for readers after publication; the reviewed object is the single PDF.

What belongs where

ContentLocationReason
Definitions, models, main theorem statementsBodyThe referee must have them to judge the claim
Proof ideas / sketches of the main resultsBodyEnough to make correctness plausible without the appendix
Full, detailed proofsMarked appendixRead at the PC's discretion; keep the body within budget
Routine lemmas and calculationsAppendixNecessary but not illuminating in the body
A worked example that clarifies the constructionBodyHigh-value, checkable by hand; earns its space
Extended related work, tables of casesAppendixUseful reference, not needed to follow the argument
Anything that decides acceptanceBody (at least in sketch)A referee who skips the appendix must still be convinced
Show full SKILL.md (268 more words)Show less

Writing for "read at the PC's discretion"

Referees may or may not open the appendix, so:

  • Self-contained body: each main theorem has, in the body, either a proof or a sketch detailed enough that a referee believes it is provable and sees the key step.
  • Signposted appendix: label appendix sections to match the theorems ("Appendix A: Proof of Theorem 3"), so a referee checking one claim finds it instantly.
  • No forward-dependence on the appendix for understanding — the body should never say "see the appendix for what this means"; definitions and statements are in the body.
  • The appendix is proofs, not new results — do not smuggle an additional theorem into the appendix to dodge the page limit; a result that matters belongs in the body.

What the appendix is not

  • Not an online link. No "additional experiments/proofs available at <url>" for the review — the URL both breaks the no-online-appendix rule and can de-anonymize you.
  • Not overflow for a too-long paper. If the body cannot state the contribution in 15 pages, the fix is compression or splitting the result, not exiling half the argument to the appendix.
  • Not a dumping ground — an unreadable 40-page appendix is as unpersuasive as no proof; keep it organized and referee-navigable.

The full version (separate from the appendix)

Keep a full version with all proofs, typically on arXiv, for after acceptance. It is the permanent scholarly record and the thing the camera-ready references — but it plays no role in the anonymous review, where only the single PDF counts. See icdt-camera-ready for linking it and icdt-reproducibility for keeping it consistent with the published version.

Output format

text
[Body self-sufficiency] every acceptance-critical claim provable-from-the-body (>= sketch)? yes/no
[Appendix] present, clearly marked, signposted per theorem? yes/no
[No-online-appendix] zero external links required for review? yes/no
[Budget] body <= 15 pages excl. refs? yes/no
[Fix queue] <move X to body / compress Y / no external dependence>

© 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 ICDT-Skills/skills/icdt-supplementary of brycewang-stanford/Awesome-Journal-Skills.

Open the folder on GitHubat commit 932eb23

Compare with similar skills

Icdt Supplementary 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.

Icdt Supplementary compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Icdt Supplementary this skillbrycewang-stanford/Awesome-Journal-Skills1.2k—~1.1kAutomated safety check: PassMIT
Paper Interpretationdigoal/blog8.6k—~1.5kAutomated safety check: PassGPL-2.0
Paper LensYSQ-boop/paper-lens101—~1.3kAutomated safety check: PassApache-2.0
Paper ReviewRapidAI/MaClaw148—~1kAutomated safety check: PassMIT
Ma Fulltext Managementhtlin222/meta-pipe139—~1.7kAutomated safety check: NotesCustom licence
Paper Interpreterchujianyun/skills742—~810Automated safety check: PassCustom licence

Similar skills

  • 从论文 PDF 文件或论文 PDF URL 生成通俗易懂、图文并茂、带批判性评估的中文 Markdown 解读,并保存到当前项目的 markdown 目录。Use when the user asks to interpret,精读,解读,summarize,explain,analyze, or write an article from an academic paper PDF…

    8.6k GitHub stars~1.5k tokensUpdated 2 days ago
    Documents & OfficeAuto-check passed
  • Paper Lens

    YSQ-boop/paper-lens

    Read and critically analyze one academic paper from an arXiv URL/ID or a local PDF, producing a source-grounded Markdown report that can grow from a quick read into a reviewer-level deep review.

    101 GitHub stars~1.3k tokensUpdated 12 days ago
    Documents & OfficeAuto-check passed
  • Paper Review

    RapidAI/MaClaw

    论文深度解读 Skill — 下载论文PDF → LLM深度解读(问题/创新点/方法原理/实验分析)→ PDF图片提取 → 生成组会PPT → 生成解读音频MP3。端到端学术论文解读工具。

    148 GitHub stars~1k tokensUpdated today
    Documents & OfficeAuto-check passed
  • Ma Fulltext Management

    htlin222/meta-pipe

    Collect and manage full-text PDFs for included studies, track provenance, and prepare documents for extraction.

    139 GitHub stars~1.7k tokensUpdated 18 days ago
    Documents & OfficeAuto-check: notes
  • Paper Interpreter

    chujianyun/skills

    论文解读助手。适用于用户发送 arXiv 论文链接,并希望下载论文、解读论文、生成读书笔记、做论文拆解或输出详细报告时使用。会在工作目录创建论文文件夹、下载 PDF 与 TeX Source(如有)、生成中文 Markdown 报告。默认先交付初稿,不自动复查;如果用户明确同意,再安排后续复查。不适用于只要简短推荐语的情况。

    742 GitHub stars~810 tokensUpdated yesterday
    Documents & OfficeAuto-check passed
  • Mindmap Render

    ai4s-research/ai4s-skills

    Generate beautiful, high-resolution mindmaps from Markdown unordered lists.

    237 GitHub starsUsed in 1 repo~3.1k tokens
    Documents & OfficeAuto-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 Icdt Supplementary

What does Icdt Supplementary do?

A skill your agent uses when deciding how to split an ICDT (International Conference on Database Theory) paper between the 15-page lipics-v2021 body and the clearly-marked appendix that referees…. Icdt Supplementary is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when deciding how to split an ICDT (International Conference on Database Theory) paper between the 15-page lipics-v2021 body and the clearly-marked appendix that referees read at their discretion, given that online/external appendices are not allowed and every proof needed to certify the result must live inside the single submitted PDF.

When should I use Icdt Supplementary?

Icdt Supplementary fits situations like: given that online/external appendices are not allowed and every proof needed to certify the result must live inside the single submitted PDF; tasks that involve PDF.

How do I install Icdt Supplementary in Claude Code?

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

How do I install Icdt Supplementary in Codex?

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

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

What does Icdt Supplementary need to run?

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

Does Icdt Supplementary 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 Icdt Supplementary 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 Icdt Supplementary use?

Icdt Supplementary 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 Icdt Supplementary use?

About 1.1k tokens (SKILL.md is roughly 4.3k 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 Icdt Supplementary?

Skills that share tags, products or a category with Icdt Supplementary: Paper Interpretation (digoal/blog, 8.6k stars), Paper Lens (YSQ-boop/paper-lens, 101 stars), Paper Review (RapidAI/MaClaw, 148 stars) and Ma Fulltext Management (htlin222/meta-pipe, 139 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Icdt Supplementary?

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.