Agent skills for Codex CLI

Use when explaining or planning around ISSTA peer review, covering double-anonymous reviewing, at least three PC reviews, the…

Use when auditing an ISSTA submission for HotCRP readiness, the 18-page (excluding references) limit, ACM sigconf plus review and…

Use when deciding what lives in the ISSTA 18-page body versus the artifact and any appendix, covering the no-unlimited-appendix reality…

Use when deciding whether a project is a strong ISSTA fit versus ICSE, FSE, ASE, ICST, PLDI/CAV, or an SE journal, identifying whether the…

Use when revising an ISSTA paper for a clear testing/analysis contribution, covering the threat-model-then-technique structure, the…

Get detailed information about a specific Linear issue

Audit and triage general issue backlogs with read-only defaults, interactive cleanup decisions, and guidance steering; use this for "audit…

Mark an issue as complete with comprehensive summary and verification

Add structured comments to issues using templates for progress, feedback, or blockers

Create a new ticket/issue with configurable backend (Gitea, GitHub, Jira, Linear, or local files)

Unified issue discovery and creation. Create issues from GitHub/text, discover issues via multi-perspective analysis, or prompt-driven…

Use when approved repo work should be coordinated through a plan document, GitHub issues, one verified implementation or research issue at…

Orchestrates issue-driven Ralph loops that post cycle status to issue threads and incorporate human feedback in each cycle.

List and filter tickets/issues from configured backend

Research-grounded SDLC issue planner — dispatches parallel research, generates the supporting doc corpus, then files prioritized…

GitHub issue workflow ceremony using gh CLI — labels issues as in-progress, creates feature branches (issue/N-description), commits with…

Write and post a technically sound issue resolution report as a GitHub issue comment and/or PR description after fixing a bug or…

Automatically detect and update linked issues based on commits, artifacts, and task events

Use when asked to triage newly opened GitHub issues, diagnose issue validity, search for duplicates, close confirmed duplicates, leave…

Update existing ticket/issue with status changes, comments, or field updates

Administer IT — manage users, monitor security, configure Workspace.