Agent skills for Codex CLI

Use when writing, refactoring, or evaluating LLM prompts (system prompts, user prompts, few-shot examples, or tool-call schemas) for agent…

Orchestrates parallel prompt validation for Finesse planning sessions

Use when designing the proof technique, algorithm, or simulation protocol for an Operations Research (OR) manuscript — choosing the right…

Refactor a completed, research-loop-validated proof closure into a compact, locally checkable proof, minimal derived proof DAG, and…

Turn a completed proof corpus, validated research-loop closure, or current proof-refactor handoff into one publication-ready LaTeX…

Writes rigorous mathematical proofs for ML/AI theory.

Proofreading skill for the Book of Challenges manuscript.

Edits the structure, line of argumentation, organization, shortening, redundancies, contradictions and reading guidance of publishing…

Visual verification of UI features. Use after building or modifying any

Writes, reviews, and debugs property-based tests — Hypothesis, fast-check, proptest, jqwik, rapid, and Echidna or Medusa for Solidity…

Use when pitching a survey to the Journal of Economic Literature (JEL) editor before writing it — the ~10-page proposal route, the…

Generate PandaDoc proposals from client information or sales call transcripts.

Use when crafting a proposal to the Journal of Economic Perspectives (JEP) editors — a short article proposal or a symposium pitch — since…

Generates professional Korean B2B sales proposals and RFP responses using industry-standard structures and compliance checks.

Draft, revise, or review a substantive writing deliverable when editorial quality is itself part of the requested outcome.

Write `output/DRAFT.md` (or `output/SNAPSHOT.md`) from an approved outline and evidence packs, using only verified citation keys from…

Configure Cedar policy enforcement and Ed25519 signed receipts for Claude Code tool calls.

Use Zenrows Protected Fetch in auto mode for anti-bot-protected page retrieval.

Clean editorial-style interfaces. Warm monochrome palette, typographic contrast, flat bento grids, muted pastels. No gradients, no heavy…

Use when writing the protocol, fixing scope and eligibility, and (where applicable) preregistering a systematic review or meta-analysis…

Selects appropriate imaging protocols based on clinical indication and patient factors.