podc-reproducibility
Use when making an ACM PODC paper's result independently checkable — reproducibility for a proofs venue, not an artifact venue. Covers a self-contained proof appendix, an explicit and checkable model/assumption box, honest handling of any optional simulation, and keeping the full version (with proofs) in sync with the 10-page camera-ready.
Profile →npx skills add brycewang-stanford/Awesome-Journal-Skills --skill podc-reproducibility --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.
# PODC Reproducibility "Reproducibility" at a proofs venue means a reader can **independently verify the theorem**. PODC has **no artifact track** and no ACM badge program, so there is nothing to package for evaluators — the deliverable that makes your result checkable is a **self-contained proof** and an **honest model box**. This skill translates the open-science instinct into what actually matters at PODC. ## What "checkable" means here A PODC result is reproducible when a competent reader, given only your submission and its full version, can: 1. Read the **model box** and know exactly what network, timing, fault, adversary, randomness, and cost-measure assumptions are in force. 2. Follow every proof to its base cases and cited lemmas **without needing an external file, a private note, or a "details omitted"**. 3. Confirm that each theorem holds in the stated model and nowhere relies on a stronger assumption. ## The self-contained proof appendix Because the 10-page merits budget cannot hold full proofs, the **full version** (submitted as the paper, and later posted to arXiv) carries them. Make it self-contained: ```text [Every lemma stated] each lemma the main theorem uses appea
- What "checkable" means here
- The self-contained proof appendix
- The model/assumption box is the reproducibility contract
- Optional simulations: transparent, not load-bearing
- Keeping the full version in sync
- Common failures
- Output format
What does the podc-reproducibility skill do?
Use when making an ACM PODC paper's result independently checkable — reproducibility for a proofs venue, not an artifact venue. Covers a self-contained proof appendix, an explicit and checkable model/assumption box, honest handling of any optional simulation, and keeping the full version (with proofs) in sync with the 10-page camera-ready.
How do I install it?
Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill podc-reproducibility --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.