Agent skills for HTTP / API

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.

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.

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…

Investigate a cluster of GitHub issues and PRs, determine canonical candidates, post duplicate/related status, preserve contributor…

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

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

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…

Use when positioning an ITCS paper against the theory literature — writing the delta that proves the model/question is genuinely new…