Agent skills for Codex CLI

QA and testing engineer — test strategy, E2E suites, API tests, flaky test triage, coverage.

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

Analyze and restructure mathematical proofs for clarity and completeness

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

Automate Proofly tasks via Rube MCP (Composio).

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

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

Proposal Writing

Propose relevant standards — EU law: defines the standard, burden of proof and counter-argument; result: interface map with…

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

Locate an existing OpenProse installation via env var, AIWG config, local install, plugin manifest, or global CLI.

Prose distill: condense verbose text to its essence.

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

Read and parse an OpenProse program file, extracting its contract (requires, ensures, strategies, errors, invariants) and services into a…

Clone or update the OpenProse repository to ensure AIWG prose tools hook into the latest version of the specification and examples

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

Use this skill when the user wants to write long-form prose — blog posts, founder essays, build-in-public posts, About pages, newsletter…

Emergency defensive response when the user believes they're under active attack — hacked, compromised, credentials stolen, suspicious…

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

Use the Zenrows MCP scrape tool for anti-bot-protected page retrieval.

Scrape websites protected by Cloudflare, anti-bot systems, and other WAF protections using undetected-chromedriver.