Loading...
Loading...
Found 11,731 Skills
Configures Lean environments, installs external proof skills, runs preflight checks, and guides the workflow for proving downloaded OpenMath Lean theorems locally.
Execution plan generation and management — Plan lifecycle as repository artifact
This skill should be used when the user asks to "review code", "review my changes", "check effect patterns", "run effect review", "effect review", "review for effect best practices", or wants a comprehensive code review against Effect-TS conventions, branded types, observability, error handling, test coverage, and UI quality.
Use when searching codebases (text, structural/AST, files by name, PDFs/archives, code stats) or building context before a task.
Analyze, reorganize, and catalog all installed skills. Merges overlapping skills, restructures the filesystem hierarchy, and generates a compact SKILL_REGISTRY.md routing guide for system prompts.
Guide for creating effective skills for Apollo Solutions and Field teams. Use this skill when: (1) users want to create a new skill for this repository, (2) users want to update an existing skill, (3) users ask about skill structure or best practices, (4) users need help writing SKILL.md files.
DeepVista Notes: Create, read, update, and delete notes in your knowledge base.
How to create and structure skills for this repository. Covers the type system (guideline vs pattern), frontmatter conventions, and behavioral instructions. Follow when creating or updating any skill.
Lance une réunion autonome rapide avec des personas sélectionnés automatiquement, implémente la décision, crée une MR/PR, commite, pousse et publie un résumé en français — le tout sans intervention de l'utilisateur.
Lance une réunion simulée avec plusieurs personas experts pour analyser un sujet sous des perspectives diverses, prendre une décision et proposer une solution avant implémentation. Peut optionnellement publier l'analyse de la réunion sur une issue GitLab ou GitHub liée.
Full workflow of AI short drama generation: account management, scriptwriting, video production. Integrated with X2C billing system, suitable for commercial deployment. It includes three core modules: ad-account-manager (account management), ad-writer (scriptwriting prompts), ad-producer (video production).
Push the LLM to reconsider, refine, and improve its recent output. Use when user asks for deeper critique or mentions a known deeper critique method, e.g. socratic, first principles, pre-mortem, red team.