Agent skills for Codex CLI

Coordinate multi-vendor AI agents as a self-improving team — a learning router assigns work by track record and citizens can amend the…

End-to-end test the polly multi-agent coding orchestrator's critical user journeys (CUJs).

Error handling is language-specific; FFI boundaries MUST convert between error models:

Automate Polygon tasks via Rube MCP (Composio).

Build EVM blockchain data indexers using Ponder (ponder.sh) - an open-source TypeScript framework for indexing smart contract events…

Audit the whole repo for over-engineering.

Harvest every ponytail: shortcut comment into one debt ledger, so deferrals get tracked instead of forgotten.

Show ponytail measured impact as a scoreboard: less code, less cost, more speed, from the benchmark medians.

Quick reference for ponytail's modes, skills, and commands.

Use when drafting a POPL author response during the optional multi-day window — triaging soundness objections against misread definitions…

Use when a POPL paper is conditionally accepted — planning the mandatory revision the Review Committee must approve, de-anonymizing for…

Use when designing the empirical component of a POPL paper — deciding whether evidence should be a mechanization, a prototype, case…

Use when positioning a POPL paper in the semantics, type-systems, and verification literature — stating per-line technical deltas against…

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…

Refute your own work before delivering it.

54 real-world design systems (Stripe, Linear, Vercel, Notion, Apple…) as ready-to-paste HTML/CSS — exact colors, typography, components…

Strapi CMS REST API for headless content management.

Use when starting or orienting any Population and Development Review (PDR, Wiley / Population Council) manuscript and unsure which skill…