Agent skills for Codex CLI

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…

Batch the UI-polish tail at the verify phase — during manual QA, capture tiny cosmetic fixes (copy, spacing, alignment, wrong string)…

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

Controlled polling for async operations at specified intervals

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.