Agent skills for Claude Desktop

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.

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.

Search, browse, and retrieve scientific protocols from protocols.io via REST API.

Automatically discover protocol skills when working with HTTP, TCP, UDP, QUIC, and network protocols

Rapid prototyping workflow. Skips normal standards to quickly validate a game concept or mechanic. Produces throwaway code and a…