A skill your agent uses when revising an ACM PODS paper for a precise model and result on the first page, exact theorem statements with matching bounds, complete and self-contained proofs (body plus…

MITAuto-check passedWriting & Content

Install Pods Writing Style

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

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

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

At a glance

A skill your agent uses when revising an ACM PODS paper for a precise model and result on the first page, exact theorem statements with matching bounds, complete and self-contained proofs (body plus…

  • Revising an ACM PODS paper for a precise model and result on the first page
  • SKILL.md covers Revision rules, Theory-paper skeleton, Sentence-level rewrites and Statement discipline, plus 2 more sections
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
  • Exact theorem statements with matching bounds

What it does

Pods Writing Style is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when revising an ACM PODS paper for a precise model and result on the first page, exact theorem statements with matching bounds, complete and self-contained proofs (body plus at-submission appendix), honest assumptions and open cases, double-anonymous wording, and disciplined use of the acmsmall 15-page budget.

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

  • Revising an ACM PODS paper for a precise model and result on the first page
  • Exact theorem statements with matching bounds
  • Complete and self-contained proofs (body plus at-submission appendix)
  • Honest assumptions and open cases

Example prompts

  • “/pods-writing-style”

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

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

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

Download SKILL.mdSave it as .claude/skills/pods-writing-style/SKILL.md (or your agent's skills folder).
name
pods-writing-style
description
Use when revising an ACM PODS paper for a precise model and result on the first page, exact theorem statements with matching bounds, complete and self-contained proofs (body plus at-submission appendix), honest assumptions and open cases, double-anonymous wording, and disciplined use of the acmsmall 15-page budget.

PODS Writing Style

Use this when revising the main paper. PODS papers are read by database theoreticians, so they need a precise model and a precise result stated on the first page and proofs a reviewer can verify. The failure this skill prevents is a paper whose interesting idea is buried under systems language or whose theorems are stated loosely enough that no one can tell what was proved.

Revision rules

  • Lead with the model and the result: the data-management problem, the exact model (data/query model, complexity measure, cost model), the result (a bound, a dichotomy, a semantics, an optimal algorithm), why it is tight or complete, and what it settles — all on the first page.
  • State theorems precisely. Every theorem names its hypotheses, its model, and its exact quantities (data vs. combined complexity, worst-case vs. parameterized, exact vs. approximate). A vague "our problem is hard" is not a PODS theorem.
  • Match upper and lower bounds. The strongest PODS papers close the gap; where you cannot, say so and state the open case rather than hiding it behind "we leave this to future work" without a precise statement.
  • Every stated result has a complete proof. In the body if it fits, otherwise in the appendix incorporated with the submission — PODS forbids online/external appendices, so a proof "omitted" or "in the full version" with nothing in the appendix is a reject.
  • Respect the acmsmall budget as a design constraint. 15 pages excluding references, plus unlimited references, plus the appendix; the body must be a self-contained mathematical narrative, with routine or long proofs pushed to the appendix behind clear forward references.
  • Maintain lightweight double-anonymity in self-citations, named systems, acknowledgements, and funding — phrase your own prior work in the third person.

Theory-paper skeleton

SectionJob it must doCommon failure
IntroProblem, model, result, tightness, what it settles — first pageLeads with a system or a trend, not a model and a theorem
PreliminariesFix the data/query model, notation, and the exact problemDefinitions too informal for the theorem to be unambiguous
Main resultsState each theorem precisely; give the key proof ideasTheorems stated so loosely the contribution is unclear
Upper boundThe algorithm/construction + its correctness and complexity proofComplexity asserted, not proved; hidden dependence on parameters
Lower boundThe hardness reduction or impossibility, with its assumptionsNo matching lower bound, so optimality is unproven
Related workDelta-first positioning against PODS/ICDT/logic literatureA citation catalog with no contrast of results
Show full SKILL.md (196 more words)Show less

Sentence-level rewrites

Draft patternPODS-safe rewrite
"Our algorithm is very efficient.""runs in O(n log n) data complexity (Thm 3), matching the Ω(n log n) lower bound of §5"
"The problem is hard.""consistent query answering for this class is coNP-complete in data complexity (Thm 2)"
"We handle a broad class of queries.""we prove the dichotomy for all self-join-free conjunctive queries; self-joins remain open (§7)"
"Experiments confirm our approach.""we give a matching lower bound; a small empirical check (§6) illustrates the constants"
"It is easy to see that..."Replace with the actual argument or a pointer to the appendix proof

Statement discipline

text
[Model]        fix the data model, query class, and cost/complexity measure before any theorem
[Quantifiers]  say exactly what is universal and what is existential; data vs. combined complexity
[Tightness]    pair each upper bound with a lower bound or state the gap as an open problem
[Assumptions]  name every conjecture a bound rests on (e.g. OMv, ETH); never present conditional
               hardness as unconditional
-> a reader should be able to restate your main theorem exactly from the abstract alone

Vignette: compressing a two-bound paper

A draft with an upper-bound algorithm, a lower-bound reduction, three corollaries, and a long preliminaries section: keep both main theorems and their proof ideas in the body, move the full reduction gadget and the corollary proofs to the appendix with forward references, and cut preliminaries to exactly the definitions the theorems use. The test of a good cut: a reviewer should be able to state what was proved and why it is tight from the body alone, and find every full proof in the appendix.

Output format

text
[Writing diagnosis] clear / under-specified model / loose theorems / gap unstated / over-scoped
[First-page fix] <new framing leading with the model and the exact result>
[Theorem audit] <theorem -> hypotheses stated? complexity exact? proof located? tight?>
[Tightness fix] <where a matching lower bound or an honest open-case statement must be added>
[Anonymity edits] <named systems / self-citations / acknowledgements to rewrite>

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

Open the folder on GitHubat commit 932eb23

Compare with similar skills

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

Pods Writing Style compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Pods 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

Questions about Pods Writing Style

What does Pods Writing Style do?

A skill your agent uses when revising an ACM PODS paper for a precise model and result on the first page, exact theorem statements with matching bounds, complete and self-contained proofs (body plus…. Pods Writing Style is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when revising an ACM PODS paper for a precise model and result on the first page, exact theorem statements with matching bounds, complete and self-contained proofs (body plus at-submission appendix), honest assumptions and open cases, double-anonymous wording, and disciplined use of the acmsmall 15-page budget.

When should I use Pods Writing Style?

Pods Writing Style fits situations like: revising an ACM PODS paper for a precise model and result on the first page; exact theorem statements with matching bounds; complete and self-contained proofs (body plus at-submission appendix); honest assumptions and open cases.

How do I install Pods Writing Style in Claude Code?

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

How do I install Pods Writing Style in Codex?

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

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

What does Pods Writing Style need to run?

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

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

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

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

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