skills-marketplace

Paper-writing skill that tracks a draft's modification history across sessions via a per-draft journal file backed by git, and infers the draft's forward trajectory (not just past diffs). The flagship skill in this marketplace.

Narrow-scoped LaTeX skill: venue templates, compile-error log triage (points at the actual offending file/line), and bib hygiene (duplicate keys, missing fields).

Proof structure enforcement (claim/assumptions/proof/where-used) plus a real SymPy verification round-trip for symbolic and numeric sub-claims, with Lean-formalization candidates flagged (not forced).

Model-routing orchestration: classifies each unit of work into one of five provider-neutral difficulty tiers and spawns subagents on the cheapest model that handles that tier reliably. Ships Anthropic (Fable orchestrates, Opus deep-reasons, Sonnet implements, Haiku executes mechanical/bulk work) and OpenAI Codex (gpt-5.1-codex-max/-codex/-codex-mini with reasoning-effort settings) mappings, cross-provider routing via the codex/claude CLIs, and explicit escalation/demotion rules.

Generates and maintains a GitHub wiki from a repo's CLAUDE.md/README/AGENTS.md/docs plus a structure scan, stamps every page with its source commit for staleness detection, and installs a first-read pointer in both CLAUDE.md (Claude Code) and AGENTS.md (Codex and other agents) so exploring agents start from the wiki instead of a cold tree walk.

Builds an evaluation harness around any LLM-dependent system: infers intent from its prompts/code, derives gradeable success criteria, generates golden + adversarial + holdout cases, wires the cheapest adequate grader, and reports a baseline accuracy number to iterate against.

Imported skill: academic-humanizer.

Imported skill: agents-sdk.

Claude API and SDK documentation skill for building LLM-powered applications

Imported skill: cloudflare.

Imported skill: cloudflare-email-service.

Imported skill: cloudflare-one.

Imported skill: cloudflare-one-migrations.

Imported skill: durable-objects.

Imported skill: markitdown-converter.

Imported skill: sandbox-sdk.

Imported skill: turnstile-spin.

Imported skill: web-perf.

Imported skill: workers-best-practices.

Imported skill: wrangler.