Agent skills for Windsurf (legacy)

Streamlines environment setup and development workflows across multiple programming languages using a unified task runner.

Specialized skill for polymer materials analysis including molecular weight distribution, thermal transitions, crystallinity, and…

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 designing the empirical component of a POPL paper — deciding whether evidence should be a mechanization, a prototype, case…

Use when making a POPL paper's results independently checkable — deciding which theorems to mechanize versus hand-prove, maintaining a…

Use when interpreting where a POPL submission stands — the full double-blind pipeline from the July HotCRP deadline through reviews, the…

Use when preparing a POPL submission for the single July HotCRP deadline — auditing the 25-pages-of-text acmsmall cap, summary-rejection…

Use when splitting a POPL paper across the 25-page body, the proof appendix, and anonymous supplementary material — deciding which proofs…

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

Refute your own work before delivering it.

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…

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

Popup and modal optimization for conversion.

Design technical architecture from a PRD.

Design an SDK architecture for an API — language targets, idiomatic patterns, and code generation strategy.

Diagnose port-level issues on host or container.

Audit multi-language SDK coverage — find missing languages, inconsistencies, and maintenance gaps.

Review an existing SDK for idiomatic quality, consistency, and developer ergonomics.