Agent skills for Codex CLI

Use when designing or auditing ACM SIGMETRICS evaluations, covering theorem-plus-validation rigor, stating and testing modeling…

Use when writing SIGMOD author feedback during a PACMMOD round or the revision letter after a major/minor-revision verdict, covering the…

Author a new skill or rework an existing one so it matches this setup's house conventions — trigger-rich description, numbered Workflow…

Apply sampling importance resampling to refine variational posterior samples using likelihood-prior weights.

Use as step 5 of AIS FLOWS Skill Library Cleaner to create the clean-library output from an approved plan, with dry-run, backup, archive…

Generates Snapshot pattern for PHP 8.4. Creates aggregate snapshot infrastructure for event sourcing performance optimization with…

Use when drafting an ACM SoCC author response (rebuttal) during a round's response window, covering the single written turn, answering…

Use when drafting the SODA (ACM-SIAM Symposium on Discrete Algorithms) rebuttal — the roughly three-day window between review release in…

Search X/Twitter in real-time using Grok.

Use when drafting a SOSP author response during the pre-PC-meeting rebuttal window, keeping it within the venue's norms — correcting…

Write Spanish that sounds human. Not formal, not robotic, not AI-generated.

Use ONLY when the user explicitly invokes spec-brainstorm by name.

specback search — find spec↔code cross-refs, coverage, drift.

Analyzes current changes and suggests how to split them into smaller, reviewable PRs

Build a polished split-screen login page as a pure-frontend Vite app: left column brand statement (bold static headline, optional…

Squarespace integration. Manage Websites, Forms, Products, Orders, Customers, Campaigns. Use when the user wants to interact with…

Prepares reproducible code, data, and availability statements tailored for submissions to Scientia Sinica Informationis (SSI).

Guides the drafting and polishing of academic manuscripts to meet the rigorous publication standards of Scientia Sinica Informationis.

Autonomous trend analysis combining quantitative and qualitative methods.

User guide for the local squash-safe `stack` CLI for stacked PR repair.

Bulk-merge a Graphite stack into main via admin-bypass fast-forward push.