Guidance for proving mathematical properties in Coq using induction, specifically addition commutativity and similar arithmetic lemmas. This skill should be used when working with Coq proof assistants to complete induction proofs, fill in proof cases, or apply standard library lemmas like plus_n_O and plus_n_Sm.
Guide for completing Coq proofs involving arithmetic properties like addition commutativity. This skill should be used when working on Coq proof files that require proving properties about natural number arithmetic using induction, particularly when lemmas like plus_n_O and plus_n_Sm are involved.
This skill provides guidance for recovering passwords or sensitive data from disk images, corrupted files, or forensic scenarios. Use this skill when tasked with extracting passwords from disk images, recovering deleted files containing credentials, or performing data forensics to find lost authentication information.
Create a comprehensive README.md template for your project
Refines rough ideas into fully-formed designs through collaborative questioning, alternative exploration, and incremental validation. Use before writing code or implementation plans.
Convenes expert panels for problem-solving. Use when user mentions panel, experts, multiple perspectives, MECE, DMAIC, RAPID, Six Sigma, root cause analysis, strategic decisions, or process improvement.
Generates WAFFLES Declarations for social media posts — preemptive lists of what a post does NOT say. Use when users mention WAFFLES, ask for clarifications on their post, want to prevent misinterpretation, or request disclaimers for controversial/nuanced takes.
This skill refines rough ideas into fully-formed designs through collaborative questioning and exploration. Triggers: "help me brainstorm", "let's think through", "explore options", "what are some approaches", "help me design", "think through this with me", "ideate on", "what are my options". Use before writing code or plans when the approach is unclear. Not for mechanical/routine tasks where the solution is already known.
Searches the web, fetches documentation, and searches GitHub code. Use when you need current information, documentation, or real-world code examples from the web.
DEPRECATED - Use browsing-bluesky skill instead. Sample and analyze Bluesky firehose to identify trending topics and content clusters. Use when user asks about "what's happening on Bluesky", "Bluesky trends", "zeitgeist", "firehose analysis", or wants to see real-time topic clusters from the network.
Searches the web, fetches documentation, and searches GitHub code. Use when you need current information, documentation, or real-world code examples from the web.
Searches the web, fetches documentation, and searches GitHub code. Use when you need current information, documentation, or real-world code examples from the web.
Create YARD documentation for Ruby classes and methods. Use when creating new classes, factories, services, models, or when explicitly asked to add YARD documentation. Triggers on keywords like "YARD", "documentação", "documentation", "criar classe", "novo service", "nova factory".
Create detailed implementation plans with bite-sized tasks for engineers with zero codebase context
Write comments explaining WHAT and WHY, never temporal context or history
用語集を作成するための詳細ガイドとテンプレート。用語集作成時にのみ使用。
チーム全体で統一された開発プロセスとコーディング規約を確立するための包括的なガイドとテンプレート。開発ガイドライン作成時、コード実装時に使用する。
Guide for recording significant architectural and design decisions in docs/decisions.md. Use this skill when clearly significant architectural decisions are made (database choices, frameworks, core design patterns) or when explicitly asked to document a decision. Be conservative - only suggest for major decisions, not minor implementation details.
Guide for how to brainstorm an idea and turn it into a fully formed design.
Generate comprehensive content briefs for writers, ensuring clarity, alignment, and strategic content creation across all formats.
Create or update Codex Skills (SKILL.md). Use when asked to make/update a skill, add SKILL.md, skill template, or mentions Codex skills / Agent Skills / スキル作成.
