16,832 skills sorted by stars.
Develop the go-lcpd daemon/tools (Go). Follow repo principles (robustness, TDD, lint) and validate with make test/lint/gen.
Edit the Mintlify docs site under docs/. Keep docs.json consistent and run a11y/broken-links checks.
Develop apps/openai-serve (Go). Keep OpenAI gateway behavior correct and avoid logging prompts/outputs.
Edit LCP protocol docs under docs/protocol/ in BOLT-style (TLVs, message formats, state flow).
Repository orientation and which Codex skills to use for each area (go-lcpd, protocol spec, docs, openai-serve, ExecPlans).
Activate when the user needs help writing, optimizing, or understanding LimaCharlie Query Language (LCQL) queries for searching te...
Lead Développeur - Coordination technique opérationnelle, code review, mentoring et livraison. Pair de web-dev-process au niveau O...
Copywriting patterns for UK lead generation websites. Headlines, CTAs, benefit statements, objection handling. Use for all website...
Create CRPO-compliant lead magnets for therapy practices that build email lists without crossing ethical boundaries. Use when plan...
Identifies high-quality leads for your product or service by analyzing your business, searching for target companies, and providin...
Build, test, and debug Lean 4 projects using Lake. Use when building the ComputationalPaths project, checking for errors, running...
Guides adding new Higher Inductive Types to the ComputationalPaths library. Use when creating new HITs, defining fundamental group...
Apply Lean Startup methodology for validated learning. Guides Build-Measure-Learn cycles, MVP definition, hypothesis testing, and...
Use when developing Lean 4 proofs, facing type class synthesis errors, managing sorries/axioms, or searching mathlib - provides bu...
Analyze leap year calculations, calendar systems, and date validation logic. Use this when the user asks about leap year rules, ca...
Investigate agent mistakes, perform root cause analysis, and update configurations to prevent recurrence
學習輔助與知識管理。觸發：learn, note, knowledge, memory, review, understand, teach me, 學習, 筆記, 教我, 解釋
accommodation-planner for inclusive and accessible learning experiences.
badge-system for credentials, recognition, and competency validation.
certificate-generator for credentials, recognition, and competency validation.
coaching-framework for enhanced learning effectiveness and personal development.
cohort-manager for learning operations and program management.
dashboard-builder for measuring learning effectiveness and business impact.
Generate comprehensive FAQs from common learner questions, analytics, discussion forums, and support tickets. Use for self-service...
Automates creation of interactive language learning games including vocabulary flashcards, song-based games, and multi-level learn...
This skill should be used when a user asks to learn a specific skill or knowledge area using the pattern '帮我学习一下xx技能/知识'. The skil...
habit-formation for enhanced learning effectiveness and personal development.
impact-measurement for measuring learning effectiveness and business impact.
Map learning objectives to international educational standards and frameworks including IB, Cambridge International, UK National C...
kirkpatrick-evaluation for measuring learning effectiveness and business impact.
knowledge-base-builder for learning content management and knowledge systems.
leadership-development for corporate and professional learning contexts.
literature-review for evidence-based learning research and evaluation.
mentoring-system for enhanced learning effectiveness and personal development.
metacognition for enhanced learning effectiveness and personal development.
motivation-design for enhanced learning effectiveness and personal development.