Agent skills for Zed

Use when auditing an ACM PODS research submission for EasyChair readiness, covering the chosen cycle's abstract-then-paper deadlines, the…

Use when planning an ACM PODS project timeline across its multiple submission cycles per year, from venue fit through the EasyChair…

Use when revising an ACM PODS paper for a precise model and result on the first page, exact theorem statements with matching bounds…

Analyzes events through poetic lens using close reading, metaphor analysis, imagery, rhythm, form analysis, and attention to language's…

Augment a BC Transformer agent with 2-ply bounded search using the cg library's SearchBegin/SearchStep API.

Submit a BC (behavioral cloning) Transformer agent for the Pokémon TCG AI Battle competition.

Produce a proposed marked-up policy redraft that closes a gap found by /regulatory-legal:gaps or /regulatory-legal:policy-diff.

Draft a firm AI usage policy from published model policies, adapted to your practice profile — a research-and-synthesis tool whose output…

Audit the allow/deny/ask rules across the user, project and local settings scopes, then dedupe them and promote read-only rules up the…

Track congress stock trades and politician stock trades: Pelosi tracker, senate stock trades, House trades, congress trades by ticker, and…

Controlled polling for async operations at specified intervals

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

Polynomial chaos for uncertainty propagation

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…