icdt-writing-style
Use when shaping the prose of an ICDT (International Conference on Database Theory) paper — the theorem-proof structure, stating the data model and computation model precisely, leading with the result and its data-management consequence, proof-sketch-then-appendix discipline within the lipics-v2021 15-page budget, and the notation conventions a database-theory referee expects.
Profile →npx skills add brycewang-stanford/Awesome-Journal-Skills --skill icdt-writing-style --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# ICDT Writing Style Write for a referee who will **read the proof**. An ICDT paper is judged on whether a precise theorem is correctly established and matters for data management, so the house style is the theorem-proof style of mathematical writing, disciplined into the **`lipics-v2021` 15-page budget** (excluding references) with the full details in a marked appendix. Exposition that hides the
What does the icdt-writing-style skill do?
Use when shaping the prose of an ICDT (International Conference on Database Theory) paper — the theorem-proof structure, stating the data model and computation model precisely, leading with the result and its data-management consequence, proof-sketch-then-appendix discipline within the lipics-v2021 15-page budget, and the notation conventions a database-theory referee expects.
How do I install it?
Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill icdt-writing-style --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From brycewang-stanford/Awesome-Journal-Skills, a repository with 909 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.