Agent skills for OpenAI Agents SDK

Use when designing or auditing ISSTA experiments, covering real subject programs and benchmarks like Defects4J, fair tool-baseline…

Use when strengthening ISSTA reproducibility and verifiability evidence, covering pinned subject programs and benchmark versions, random…

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…

GitHub Issue and PR review thread deep analysis with Codex blind verdict.

Formats GitHub issue titles and descriptions for tracking problems that were fixed.

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…

Decompose a planning document (plan.md, a spec, or a GitHub issue) into incremental, independently-shippable "tracer bullet" phases, write…

Your GitHub issue command center -- find, triage, review, and respond to issues with full markdown + HTML reports saved to your workspace.

Triage Linear or Jira backlogs and run bug sweeps via the Composio CLI.

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

Manages IT infrastructure resources and optimizes operational costs through automated system monitoring and terminal execution.

Use to adapt the idea of an "artifact" to a pure-theory venue — at ITCS there is no artifact-evaluation track, no code, and no badges; the…

Use to operate under the reality that ITCS has no rebuttal or author-response phase — pre-empting reviewer objections inside the…

Use when preparing an accepted ITCS paper for open-access publication in LIPIcs — switching to the lipics-v2021 document class…

Use when deciding what counts as evidence for an ITCS theory claim — proofs as the primary evidence, worked examples and separations that…