Agent skills for Codex CLI

Use when reviews arrive for a MICRO submission and the rebuttal/revision window opens — triaging reviewer objections by what can change a…

Use when a MICRO paper is accepted and the camera-ready is due — the nine-week July-to-September window in the 2026 cycle…

Use when designing or auditing the evaluation of a MICRO paper — choosing the right instrument on the ladder from analytical model to…

Specify one micro-interaction completely — trigger, rules, feedback, loops, and modes.

Use when hardening a MICRO paper's results for re-derivation — pinning simulator commits and configs, recording workload trace provenance…

Use when reasoning about how a MICRO submission is judged — the double-blind HotCRP pipeline from the April deadline through the June…

Use when auditing a MICRO submission before HotCRP upload — the 11-page-plus-references limit with no appendix allowed, EDT (not AoE)…

Use when deciding where a MICRO paper's supporting material lives, because MICRO allows no appendix at all — triaging content into the 11…

Use when deciding whether a project belongs at MICRO (IEEE/ACM International Symposium on Microarchitecture) or should route to ISCA…

Use when drafting or revising a MICRO paper's prose and structure — building the characterization-motivated introduction, budgeting 11…

Cloud laboratory platform for automated protein testing and validation.

This skill should be used when the user asks to "create an agent", "add an agent", "write a subagent", "agent frontmatter", "when to use…

Migrate from AngularJS to Angular using hybrid mode, incremental component rewriting, and dependency injection updates.

Master defensive Bash programming techniques for production-grade scripts.

Database specialist covering PostgreSQL, MongoDB, Redis, and advanced data patterns for modern applications

Execute database migrations across ORMs and platforms with zero-downtime strategies, data transformation, and rollback procedures.

Design multi-stage CI/CD pipelines with approval gates, security checks, and deployment orchestration.

Fetch unresolved PR review comments using GitHub GraphQL API, filtering out resolved and outdated feedback.

Framework for computational fluid dynamics simulations using Python.

Reviews documentation for factual accuracy

Advanced GitHub Actions workflow automation with AI swarm coordination, intelligent CI/CD pipelines, and comprehensive repository management