Agent skills for DeepSeek Harness

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…

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…

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…

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…