Agent skills for DeepSeek Harness

Harvest every ponytail: shortcut comment into one debt ledger, so deferrals get tracked instead of forgotten.

Show ponytail measured impact as a scoreboard: less code, less cost, more speed, from the benchmark medians.

Quick reference for ponytail's modes, skills, and commands.

Review a diff for over-engineering. Finds what to delete: reinvented stdlib, needless deps, speculative abstractions. One line per finding.

Use a cost-controlled coding workflow in which the primary task gives a detailed execution plan, then exactly one fresh, user-selected…

Use when packaging a POPL artifact — above all a mechanized proof development in Rocq/Coq, Lean, Agda, or Isabelle — for the…

Use when drafting a POPL author response during the optional multi-day window — triaging soundness objections against misread definitions…

Use when a POPL paper is conditionally accepted — planning the mandatory revision the Review Committee must approve, de-anonymizing for…

Use when positioning a POPL paper in the semantics, type-systems, and verification literature — stating per-line technical deltas against…

Use when deciding whether a project is POPL-shaped — a principle about programming languages carried by definitions and theorems — or…

Use when planning a POPL campaign calendar — backward-scheduling theory and mechanization from the July deadline, riding the October…

Use when drafting or revising POPL prose — building the informal-to-formal ramp from a motivating program to definitions to a sharply…

Use when deciding which ppsych-* sub-skill to invoke next, or when sequencing a broad integrative review, theoretical statement, or…

Use when revising a Perspectives on Psychological Science (PoPS) piece for the PoPS voice — broad, provocative, accessible to…

54 real-world design systems (Stripe, Linear, Vercel, Notion, Apple…) as ready-to-paste HTML/CSS — exact colors, typography, components…

Generate or update .context/people.md with RHOAI Dashboard team member information

Use when starting or orienting any Population and Development Review (PDR, Wiley / Population Council) manuscript and unsure which skill…

Use as the entry point for any Public Opinion Quarterly (POQ) manuscript.

Design technical architecture from a PRD.

How to keep template code database-agnostic and hosting-agnostic.

Resolve and load any agent capability across the whole fleet from one place.