Skills for Codex

213,194 that install into Codex. Same mod, same page, whichever agent you run: a URL per tool would split one page into five that compete.

problem-solver

7225

cathrynlavery/problem-solver-skill

Skill Claude CodeCodex

Systematic analytical frameworks for diagnosing root causes, evaluating options, and solving complex technical or operational problems.

not rated 31 6mo ago A 24 tokens

lean-beam

7226

leanprover/lean-beam

Skill Codex needs its repo

Use this when an AI should work on an external Lean project through the installed lean-beam wrapper, giving it direct efficient access to Lean's proof engine to avoid repeated inner-loop rebuilds through cheap speculative checks and zero-build module checkpoints.

not rated 31 +4 changed 11d ago A SkillSpector: pass 53 tokens original Apache-2.0

Canvas Skill

7227

metaspartan/cybara

Skill Claude CodeCodex

Present interactive HTML, visualizations, dashboards, and generated interfaces on connected Cybara nodes.

not rated 31 +1 today A SkillSpector: warn 21 tokens original MIT

outlook-mcp

7228

mpalermiti/outlook-mcp

Skill Claude CodeCodex

Production-grade MCP server for personal Outlook (Outlook.com / Hotmail / Live). 62 typed Graph tools across mail, calendar, contacts, to-do, drafts, attachments, folders, threading, batch ops, delta-sync. Granular permissions, OS-keyring auth, /$batch-optimized triage and bulk read. Built for agents that need real…

not rated 31 +2 changed today A 93 tokens original MIT

jingju-skills

7229

jxshow/jingju-skills

Skill Claude CodeCodex

A workflow for turning a story idea or novel genre into an animated or filmed short production plan. It covers the outline, characters, consistency guidance, storyboards, image and video prompts, optional ComfyUI settings, and optional local-model or API production.

not rated 31 +4 3mo ago A 111 tokens

tryworld-paper

7230

TryWorld2026/paper-algorithm

Skill Codex

A workflow for turning a Chinese voiceover script and optional images into a branded 16:9 AI-knowledge video in the “Paper Algorithm” style.

not rated 31 changed 14d ago A 215 tokens CC-BY-SA-4.0

frama-c-proofreader

7231

sysprog21/frama-c-mcp

Skill Codex

Verify and proofread C code with ACSL using this repository's Frama-C MCP workflow, Frama-C WP static proof, EVA alarms, and optional E-ACSL runtime checks. Use when asked to run Frama-C, check ACSL contracts, explain WP goals, inspect EVA alarms, validate C annotations, or state what a C proof does and does not…

not rated 31 +6 changed today A SkillSpector: pass 82 tokens original MIT

fortune

7232

ai-freer/fortune-skill

Skill Claude CodeCodex

A conversational tool for Chinese traditional fortune analysis using Bazi and Zi Wei Dou Shu, systems based on birth details and astrological charts.

not rated 31 +2 4mo ago A 110 tokens

cm360-trafficking

7233

google-marketing-solutions/adspace_agent

Skill Claude CodeCodex

Use this skill ONLY when the user requests something related to trafficking, pushing, or editing campaigns in Campaign Manager 360 (CM360) (for example "push my campaigns to CM360", "edit my campaigns", "traffic in CM360", "parse trafficking sheet"). Parses a CM360 Trafficking Sheet (TSheet) and executes the creation…

not rated 31 changed 14d ago A SkillSpector: pass 108 tokens original Apache-2.0

acme-cse

7235

ankraft/ACME-oneM2M-CSE

Skill Claude CodeCodex

Answer questions about the ACME oneM2M CSE open source project — installation, configuration, runtime options, protocol bindings, plugins, scripting, and development. Use this skill whenever the user asks anything about ACME CSE, oneM2M, acmecse, acme.ini, CSE setup, or running/configuring the ACME middleware, even if…

not rated 30 24d ago A SkillSpector: warn 105 tokens original BSD-3-Clause

morning-brief

7236

Oolab-labs/patchwork-os

Skill Claude CodeCodex

Copy this template to your Claude Desktop scheduled-tasks directory.

not rated 30 2d ago A SkillSpector: warn 0 tokens original MIT

example-data-processor

7237

fkesheh/skill-mcp

Skill Claude CodeCodex

Process CSV data files by cleaning, transforming, and analyzing them. Use this when users need to work with CSV files, clean data, or perform basic data analysis tasks.

not rated 30 10mo ago A 39 tokens original MIT

tdd

7238

Shelpuk-AI-Technology-Consulting/agent-skill-tdd

Skill Claude CodeCodex

Use for every coding task. Enforce strict TDD workflow: activate Serena, investigate first, clarify+confirm requirements, write per-task REQUIREMENTS.md in .requirements/ /, verify APIs via web search, then implement in tiny test-verified steps.

not rated 30 5mo ago A 59 tokens original MIT

design-doc

7239

diskd-ai/design-doc

Skill Claude CodeCodex

Create technical design documents for new features, systems, refactoring plans, API designs, and database schemas. Use when asked to write a design doc, TRD (technical requirements document), RFC, or system design document. Triggers on requests like "write a design doc for X", "design the Y feature", "create a…

not rated 30 7mo ago A 80 tokens

janee

7240

rsdouglas/janee

Skill Claude CodeCodex

Secure API proxy that stores credentials encrypted and injects auth server-side. Use when: (1) making any external API call — "call the Stripe API", "enrich my data [from PeopleDataLabs]", "create an image [using Nano Banana API]", "use a [RapidAPI service]", (2) the user shares an API key, token, or secret — "here's…

not rated 30 6mo ago A 176 tokens original MIT

apifox-cli

7241

iwen-conf/apifox-mcp

Skill Codex

Write and maintain Apifox/OpenAPI documentation through the apifox-cli Go CLI. Use when Codex needs to read source code, routes, DTOs, validation rules, or product requirements; author .apifox-docs.json, .apifox-endpoint.json, .apifox-crud.json, or .apifox-schema.json; validate and dry-run them; apply them to Apifox…

not rated 30 2mo ago A 114 tokens

x402-list

7242

mcccsm/x402-list-mcp

Skill Claude CodeCodex

Discover x402 payment services and on-chain-verified facilitator settlement volume via the x402-list directory. Use when a user or agent needs to find an API/service that accepts x402 (HTTP 402 stablecoin) payments, compare services by reliability and price, check service uptime/health, see whether a service has…

not rated 30 changed 14d ago A 99 tokens original MIT

market-ads

7243

mounra/ai-marketing

Skill Claude CodeCodex

Tu es le moteur de création publicitaire pour /market ads . Tu génères des campagnes publicitaires complètes sur toutes les plateformes avec des variations de texte, des stratégies de ciblage d'audience, des recommandations budgétaires et des spécifications créatives. Chaque annonce est prête pour la production ou la…

not rated 30 6mo ago A 0 tokens original MIT

elvish-stargazing

7244

kpavlov/tachyon

Skill Claude CodeCodex

Read fictional Elvish star patterns for gentle guidance and omens.

not rated 30 9d ago A SkillSpector: pass 20 tokens original Apache-2.0

agent-skills-system

7245

johnvouros/skillmaxxing

Skill Claude CodeCodex

Route and operate software, product, research, and agent tasks through one phase-appropriate execution mode. Use when choosing how an agent should approach a task, resolving speed-versus-quality tradeoffs, planning mode transitions, designing agent workflows, or improving an agent harness. Do not use for a routine…

not rated 30 1mo ago A 76 tokens original MIT

stat-writing

7246

fuhaoda/stats-paper-writing-agent-skills

Skill Claude CodeCodex

End-to-end statistical writing assistant for LaTeX - draft title/abstract/keywords, expand outlines into sections, audit manuscripts, write reviewer reports and response letters, and scaffold book manuscripts.

not rated 30 7mo ago A 41 tokens

benjaminard/fable-skills

Skill Claude CodeCodex

Data-skepticism discipline for quantitative work. Use whenever reading data and producing a conclusion: analytics questions, metrics reports, spreadsheet analysis, SQL queries, dashboards, A/B results, forecasts, or any claim of the form "the data shows." Trigger before presenting any number or trend to a user.

not rated 30 2mo ago A 68 tokens original MIT

ZhenHuangLab/collaborating-with-gemini-cli

Skill Claude CodeCodex

Delegates code review, debugging, and alternative implementation comparisons to Google Gemini CLI (gemini) via a JSON bridge script (default model: gemini-3-pro-preview). Supports headless one-shot and multi-turn sessions via SESSIONID, with conservative defaults for Gemini effective-context constraints (file-scoped…

not rated 30 8mo ago B 86 tokens original MIT

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: