Agent skills for Codex CLI

Use when turning an accepted PLDI paper into its PACMPL Issue PLDI article — de-anonymization, acmsmall journal formatting, ACM rights and…

Use when designing or auditing a PLDI evaluation — choosing defensible benchmark suites and baseline compiler configurations, measuring…

Use when positioning a PLDI paper against the SIGPLAN family and systems neighbors — stating technical deltas per cited line, covering the…

Use when interpreting PLDI's review pipeline — double-blind HotCRP reviewing by a PL-implementor PC, the February author-response window…

Use when auditing a PLDI submission for HotCRP readiness — the single annual November deadline, the…

Use when planning a PLDI campaign across its annual clock — backward-planning from the November deadline through winter reviewing, the…

Use when revising a PLDI draft for the venue's voice — design insight before tool name, mechanisms instead of adjectives, a running…

ASCII financial line charts for markdown using plotext dot marker.

plotnine static visualization (ggplot2 syntax for Python).

Automatically discover programming language theory skills when working with compilers.

Automatically creates new Claude Code plugins with proper structure, validation, and marketplace integration when user mentions creating a…

Generate plugin dependency resolution logic with topological sorting.

This skill should be used when the user asks about "plugin settings", "store plugin configuration", "user-configurable plugin", ".local.md…

Executes a comprehensive 8-phase audit pipeline to validate the structure, quality, and security of AI skills and plugins.

This skill should be used when the user asks to "create a plugin", "scaffold a plugin", "understand plugin structure", "organize plugin…

Synchronizes and diagnoses local agent plugin states across Codex and Claude with safe marketplace and CLI delegation.

Asset pipeline optimization, compression, streaming, and resource management for efficient game development and delivery.

Get shared mutable state right inside one process — choosing between immutability, an atomic, a mutex and a channel; memory ordering and…

Make the arbitrary decisions in a schema explicit — what makes two records the same thing, whether a row is one thing or several, when a…

Make the network between server and client fast — cutting round trips rather than bytes, connection reuse and TLS handshake cost, choosing…

Write code that resists attack — parameterizing rather than escaping, encoding for the right output context, checking authorization per…