Agent skills for Codex CLI

Use when applying encapsulation and information hiding principles in object-oriented design.

Use when packaging an artifact for an accepted OOPSLA paper under the SPLASH artifact-evaluation track — surviving the kick-the-tires…

Use when designing or auditing the evaluation of an OOPSLA paper — matching evidence type to claim type across the venue's spread…

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 explaining or strategizing around OOPSLA's two-round review machinery — double-anonymous multi-stage reviewing, the four outcomes…

Use when preparing or auditing an OOPSLA submission — picking between the two yearly PACMPL rounds, meeting the 23-page acmsmall anonymous…

Use this skill whenever a Codex or other coding Agent is asked to implement, change, fix, refactor, investigate, review, test, deploy, or…

Use this skill whenever a Codex or other Agent needs to find, understand, create, organize, or maintain a project in an OPC Feishu/Lark…

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

Performs AI-powered code review on Git changes using the `ocr` CLI from alibaba/open-code-review.

Delegation mode for open-code-review (OCR).

This skill should be used when the user wants to open hot job listings in Chrome.

Research one or more open mathematical problems through a staged literature-search, method-analysis, and proof-framework workflow.

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

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

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.

Open-source pipeline: fork, sanitize, and package private projects for safe public release.

Query Open Targets Platform for target-disease associations, drug target discovery, tractability/safety data, genetics/omics evidence…

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