A skill your agent uses when auditing an ICDT (International Conference on Database Theory) regular-paper submission for Microsoft CMT readiness, covering the two-step abstract-then-paper deadline…

MITAuto-check passed

Install Icdt Submission

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

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

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

At a glance

A skill your agent uses when auditing an ICDT (International Conference on Database Theory) regular-paper submission for Microsoft CMT readiness, covering the two-step abstract-then-paper deadline…

  • Works in 6 steps: Freeze the theorem statements early; the… → Register the abstract in the correct… → Confirm every claimed theorem has a… → …
  • Auditing an ICDT (International Conference on Database Theory) regular-paper submission for Microsoft CMT readiness
  • SKILL.md covers Pick the right cycle first, The two-step deadline, Format and page budget and Complete proofs and the full…, plus 5 more sections
  • Calls pdftotext

What it does

Icdt Submission is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when auditing an ICDT (International Conference on Database Theory) regular-paper submission for Microsoft CMT readiness, covering the two-step abstract-then-paper deadline in the correct submission cycle, the lipics-v2021 15-page limit excluding references, the clearly-marked appendix read at the PC's discretion, anonymous submission since 2024, the complete-proofs / full-version expectation, and which submission problems are unfixable after the AoE cutoff.

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

  • Auditing an ICDT (International Conference on Database Theory) regular-paper submission for Microsoft CMT readiness
  • Covering the two-step abstract-then-paper deadline in the correct submission cycle
  • The lipics-v2021 15-page limit excluding references
  • The clearly-marked appendix read at the PCs discretion

Example prompts

  • “/icdt-submission”

Workflow steps

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

  1. Freeze the theorem statements early; the exposition can churn, the results cannot.
  2. Register the abstract in the correct cycle before the earlier deadline.
  3. Confirm every claimed theorem has a complete proof in the body or the marked appendix.
  4. Run the anonymity sweep on the final PDF, including self-citation phrasing.
  5. Fill every CMT field — subject areas that match your result, conflicts for each coauthor's
  6. Re-download the uploaded PDF and read it cold to confirm it is the file you meant.

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

    Shell commands in SKILL.md call:

    • pdftotext

    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 Submission loads about 1.7k tokens when it runs. Until then it costs about 121 tokens; SKILL.md has 834 words of instructions outside code blocks.

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

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). 834 words, ~1,680 tokens.

Download SKILL.mdSave it as .claude/skills/icdt-submission/SKILL.md (or your agent's skills folder).
name
icdt-submission
description
Use when auditing an ICDT (International Conference on Database Theory) regular-paper submission for Microsoft CMT readiness, covering the two-step abstract-then-paper deadline in the correct submission cycle, the lipics-v2021 15-page limit excluding references, the clearly-marked appendix read at the PC's discretion, anonymous submission since 2024, the complete-proofs / full-version expectation, and which submission problems are unfixable after the AoE cutoff.

ICDT Submission

Run this audit before uploading to Microsoft CMT for the International Conference on Database Theory. ICDT is a pure database-theory venue: reviewers read for a precise theorem, a correct proof, and a genuine advance in the foundations of data management, and they publish the result open access in LIPIcs (Schloss Dagstuhl). Every number below was read on 2026-07-09 from the ICDT 2026/2027 calls at databasetheory.org via search renderings (see resources/official-source-map.md); treat them as a one-cycle snapshot and reopen the live call first.

Pick the right cycle first

ICDT runs two submission cycles per year, and choosing the cycle is the first decision, not a detail:

  • Cycle 1 closes in the (northern) spring and offers a revision option — a first decision can be Accept, Revise-and-resubmit, or Reject.
  • Cycle 2 closes in the (northern) autumn; a paper rejected in Cycle 1 may not be resubmitted to Cycle 2 unless the reviewers explicitly invited it. Do not treat the two cycles as a free second attempt.

For ICDT 2027 (Lille), Cycle 1 papers were due 10 March 2026 and Cycle 2 papers 10 September 2026 (AoE); confirm the live dates. If your proof might still move, the earlier cycle's revision round is worth more than a later raw submission.

The two-step deadline

Each cycle separates an abstract deadline from the paper deadline, both AoE and about a week apart (ICDT 2027 Cycle 1: abstracts 3 March 2026, papers 10 March 2026):

  • Register the abstract with the real title and abstract — it drives PC bidding and conflict handling. A placeholder abstract worsens your reviewer match.
  • Miss the abstract deadline and CMT will not accept the PDF later.

Format and page budget

  • lipics-v2021 LIPIcs document class, unmodified. This is the Dagstuhl LaTeX style, not acmart and not IEEEtran — do not carry a PODS/SIGMOD acmart habit across.
  • At most 15 pages excluding references. References do not count against the 15; nothing else escapes it except the appendix below.
  • A clearly marked appendix is allowed but read at the PC's discretion. The main 15 pages must contain everything needed to assess the contribution; the appendix holds the full proofs a referee may check. Online/external appendices are not allowed — everything reviewed lives in the single submitted PDF.

Complete proofs and the full version

ICDT expects complete, checkable proofs. A theorem stated without a proof a referee can verify is the classic desk-level weakness at a theory venue:

  • Put proof sketches and the main argument in the body; put the full details in the marked appendix so the paper is self-contained within one PDF.
  • Maintain a full version (typically on arXiv) that will carry the complete proofs after review; reference it in the camera-ready, not in an anonymized submission if the link deanonymizes you.
Show full SKILL.md (377 more words)Show less

Anonymous-submission sweep (since 2024)

ICDT regular papers are anonymous: the PDF must not reveal authorship.

bash
# Mechanical pass on the submission PDF
pdfinfo paper.pdf | grep -Ei 'author|creator|producer'
pdftotext paper.pdf - | grep -nEi 'acknowledg|grant|funded by|our (previous|earlier) (work|paper)|\bwe .* in \[[0-9]+\]' | head
  • Remove author names, affiliations, and acknowledgments to funding sources and collaborators.
  • Cite your own prior work in the third person ("Building on the construction of [17]…"), not "our earlier paper [17]."
  • If you post a full version, do not let an arXiv link or an identifying system name reintroduce your identity into the anonymous PDF.
  • Note the exception: the Database Theory in Action short-paper track is not anonymous — the anonymity rule is for the regular research track.

Desk-risk triage

Finding at audit timeSeverityReal fix
Body over 15 pages (excl. refs)Format-reject-gradeMove detail to the marked appendix; tighten the body — refs do not absorb it
Class altered (margins, font, \vspace hacks)Named format groundRecompile clean lipics-v2021; recover space by editing, not by shrinking
A theorem with no verifiable proof anywhere in the PDFFatal at a theory venueAdd the full proof to the appendix before upload
Author identity leaks (names, acks, "our tool")Anonymity violationRe-anonymize; scrub PDF metadata; neutralize self-citations
Abstract not registered by the earlier deadlineNo paper slot existsNothing fixes this post-AoE — calendar it now
Resubmitting a Cycle-1 reject into Cycle 2 uninvitedAgainst the cross-cycle ruleDo not; only resubmit if reviewers invited it
Same result under review at PODS/a journalConcurrent-submission exposureWithdraw one; check the current dual-submission wording

Final-week order of operations

  1. Freeze the theorem statements early; the exposition can churn, the results cannot.
  2. Register the abstract in the correct cycle before the earlier deadline.
  3. Confirm every claimed theorem has a complete proof in the body or the marked appendix.
  4. Run the anonymity sweep on the final PDF, including self-citation phrasing.
  5. Fill every CMT field — subject areas that match your result, conflicts for each coauthor's institution and recent collaborators — a day early.
  6. Re-download the uploaded PDF and read it cold to confirm it is the file you meant.

Reverify each cycle

  • The cycle dates, which cycle you are targeting, and the revision-window length.
  • The page limit and the required LIPIcs class revision.
  • The anonymous-submission wording and any generative-AI disclosure rule (待核实).
  • Whether the Database Theory in Action track runs and its separate rules.

Output format

text
[ICDT submission status] ready / blocked / needs work
[Cycle] 1 (revision-eligible) / 2 (no uninvited carry), abstract+paper registered? yes/no
[Format] pages used (body/refs), lipics-v2021 compliance, appendix marked?
[Proofs] every theorem has a checkable proof in-PDF? yes/no
[Anonymity] clean / leaks: <where>
[Fix queue] <ordered, with dates before the AoE cutoff>

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

Open the folder on GitHubat commit 932eb23

Compare with similar skills

Icdt Submission 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 Submission compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Icdt Submission this skillbrycewang-stanford/Awesome-Journal-Skills1.2k—~1.7kAutomated safety check: PassMIT
Omh Internal Auditrlaope/oh-my-hermes3.2k—~2.4kAutomated safety check: PassMIT
Iso 9001 Internal Audithashgraph-online/awesome-codex-plugins1.3k—~4.3kAutomated safety check: PassMIT
Aims Auditalirezarezvani/claude-skills28k—~1.3kAutomated safety check: PassMIT
Internal Controls And Auditcbrock84/headcount2k—~1.3kAutomated safety check: PassMIT
Qms Audit Expertdavila7/claude-code-templates33k1 repos~2.7kAutomated safety check: PassMIT

Similar skills

  • Omh Internal Audit

    rlaope/oh-my-hermes

    [omh] Testing an internal control -- SOX, ICFR or ITGC: define the population and the sample, name the evidence that proves each item, re-perform the control, and grade any deficiency from stated…

    3.2k GitHub stars~2.4k tokensUpdated yesterday
    Legal & ComplianceAuto-check passed
  • Iso 9001 Internal Audit

    hashgraph-online/awesome-codex-plugins

    Conduct an internal audit by clause, answer ISO 9001 internal audit questions, or prepare evidence for §4 §5 §6 §7 §8 §9 §10.

    1.3k GitHub stars~4.3k tokensUpdated yesterday
    Legal & ComplianceAuto-check passed
  • Aims Audit

    alirezarezvani/claude-skills

    /cs:aims-audit <scope — ISO/IEC 42001 AIMS internal-audit 6-question forcing interrogation.

    28k GitHub stars~1.3k tokensUpdated 1 mo ago
    Legal & ComplianceAuto-check passed
  • Internal Controls And Audit

    cbrock84/headcount

    Designs and tests controls over financial reporting — segregation of duties, approval limits, evidence, and preparing for audit.

    2k GitHub stars~1.3k tokensUpdated 23 days ago
    Legal & ComplianceAuto-check passed
  • Qms Audit Expert

    davila7/claude-code-templates

    Senior QMS Audit Expert for internal and external quality management system auditing.

    33k GitHub starsUsed in 1 repo~2.7k tokens
    Legal & ComplianceAuto-check passed
  • Isms Audit Expert

    davila7/claude-code-templates

    Senior ISMS Audit Expert for internal and external information security management system auditing.

    33k GitHub starsUsed in 1 repo~3.1k tokens
    SecurityAuto-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 Submission

What does Icdt Submission do?

A skill your agent uses when auditing an ICDT (International Conference on Database Theory) regular-paper submission for Microsoft CMT readiness, covering the two-step abstract-then-paper deadline…. Icdt Submission is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when auditing an ICDT (International Conference on Database Theory) regular-paper submission for Microsoft CMT readiness, covering the two-step abstract-then-paper deadline in the correct submission cycle, the lipics-v2021 15-page limit excluding references, the clearly-marked appendix read at the PC's discretion, anonymous submission since 2024, the complete-proofs / full-version expectation, and which submission problems are unfixable after the AoE cutoff.

When should I use Icdt Submission?

Icdt Submission fits situations like: auditing an ICDT (International Conference on Database Theory) regular-paper submission for Microsoft CMT readiness; covering the two-step abstract-then-paper deadline in the correct submission cycle; the lipics-v2021 15-page limit excluding references; the clearly-marked appendix read at the PCs discretion.

How do I install Icdt Submission in Claude Code?

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

How do I install Icdt Submission in Codex?

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

Can I use Icdt Submission 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-submission -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-submission, .gemini/skills/icdt-submission, .github/skills/icdt-submission and .opencode/skills/icdt-submission in your project.

What does Icdt Submission need to run?

Going by SKILL.md and its folder, Icdt Submission needs the command-line tools its instructions call (pdftotext).

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

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

About 1.7k tokens (SKILL.md is roughly 6.7k 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 Submission?

Skills that share tags, products or a category with Icdt Submission: Omh Internal Audit (rlaope/oh-my-hermes, 3.2k stars), Iso 9001 Internal Audit (hashgraph-online/awesome-codex-plugins, 1.3k stars), Aims Audit (alirezarezvani/claude-skills, 28k stars) and Internal Controls And Audit (cbrock84/headcount, 2k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Icdt Submission?

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.