Agent skills for ChatGPT

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…

Chorus Proposal workflow — create proposals with document and task drafts, manage dependency DAG, validate and submit for review.

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.

PROPOSE-ONLY — mine this host's recent Claude Code transcripts for work that keeps recurring and keeps returning bulk into context, rank…

Writes content (blog posts, pitch decks, sprint review summaries, architecture board reports, solution intent documents) with automatic…

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.

Create a proto-persona from current research, market signals, and team knowledge.

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…