Agent skills for Windsurf (legacy)

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

GitHub issue management using GitHub CLI.

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…

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…

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

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

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

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

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…

Use to make an ITCS paper's mathematics independently checkable — complete proofs of every central claim, self-contained definitions…

Use to model the ITCS reviewing pipeline — a program committee plus external reviewers, conceptual-novelty weighting, lightweight…

Use when splitting an ITCS paper's content between the body, the appendix, and the arXiv/ECCC/ePrint full version — deciding by what a…

Use when deciding whether a theoretical-computer-science result belongs at ITCS or should be routed to STOC, FOCS, SODA, CCC, ICALP, TCC…