Agent skills for Codex CLI

Use when building an OOPSLA related-work section — positioning against the PACMPL family (POPL, PLDI, ICFP, OOPSLA itself) plus ECOOP…

Use when hardening an OOPSLA paper's empirical claims to the SIGPLAN Empirical Evaluation Guidelines — managed-runtime measurement…

Use when deciding what rides along with an OOPSLA submission beyond the 23-page body — appendices, full proofs or mechanizations, extended…

Use when judging whether a project is OOPSLA-shaped — a PL contribution whose evidence spans design, implementation, formalism, or…

Use when revising a draft into OOPSLA's register — design insight stated before the artifact, claims written to be falsifiable, motivating…

OCaml package manager (45 subcommands).

Use to settle PNAS Nexus's open-access decisions — confirm the gold-OA model and the article processing charge (APC), check eligibility…

Query and interact with Open Collective's GraphQL API v2.

Open Games Skill (ERGODIC 0)

Produce, consume, validate, and navigate Open Knowledge Format (OKF) bundles.

Write a PR description using conversation context and open PR creation in browser.

Opens an interactive Pull Request with the repository's template filled in automatically.

Use when meeting Psychological Science's open-science requirements.

Use when planning and assembling the transparency package for a Psychological Bulletin submission — protocol preregistration…

Generates professional 1920x1080 presentation decks using React-style component composition and curated design systems.

Create maintainer-friendly pull requests for open source projects with clean code submissions and professional communication.

End-to-end GitHub repository maintenance for open-source projects.

Use when the user wants to open the Power Apps Wrap page for an app ID in the active environment.

Use this skill whenever the user asks about crypto tax across jurisdictions.

Use this skill whenever the user asks about insurance sector businesses.

Use this skill whenever the user asks about taxes, VAT/GST, payroll, or formation in North Carolina.