Skills-4-SE

In the author's own words, from each skill's SKILL.md — showing the first 30 of 188 files.

• abstract-domain-explorer

  Applies abstract interpretation using different abstract domains (intervals, octagons, polyhedra, sign, congruence) to statically analyze program variables and infer invariants, value ranges, and relationships. Use when analyzing program properties, inferring loop invariants, detecting potential errors, or understanding variable relationships through static analysis.

  skills/abstract-domain-explorer/SKILL.md on GitHub (opens in a new tab)

• abstract-invariant-generator

  Uses abstract interpretation to automatically infer loop invariants, function preconditions, and postconditions for formal verification. Generates invariants that capture program behavior and support correctness proofs in Dafny, Isabelle, Coq, and other verification systems. Use when adding formal specifications to code, generating verification conditions, inferring contracts for functions, or di…

  skills/abstract-invariant-generator/SKILL.md on GitHub (opens in a new tab)

• abstract-state-analyzer

  Performs abstract interpretation over source code to infer possible program states, variable ranges, and data properties without executing the program. Reports potential runtime errors including out-of-bounds accesses, null dereferences, type inconsistencies, division by zero, and integer overflows. Use when analyzing code for potential runtime errors, performing static analysis, checking safety…

  skills/abstract-state-analyzer/SKILL.md on GitHub (opens in a new tab)

• abstract-trace-summarizer

  Performs abstract interpretation to produce summarized execution traces and high-level program behavior representations. Highlights key control flow paths, variable relationships, loop invariants, function summaries, and potential runtime states using abstract domains (intervals, signs, nullness, etc.). Use when analyzing program behavior, understanding execution paths, computing loop invariants,…

  skills/abstract-trace-summarizer/SKILL.md on GitHub (opens in a new tab)

• acsl-annotation-assistant

  Create ACSL (ANSI/ISO C Specification Language) formal annotations for C/C++ programs. Use this skill when working with formal verification, adding function contracts (requires/ensures), loop invariants, assertions, memory safety annotations, or any ACSL specifications. Supports Frama-C verification and generates comprehensive formal specifications for C/C++ code.

  skills/acsl-annotation-assistant/SKILL.md on GitHub (opens in a new tab)

• agent-browser

  CLI-based browser automation with persistent page state using ref-based element interaction. Use when users ask to navigate websites, interact with web pages, fill forms, take screenshots, test web applications, or extract information from web pages.

  skills/agent-browser/SKILL.md on GitHub (opens in a new tab)

• ambiguity-detector

  Detects and analyzes ambiguous language in software requirements and user stories. Use when reviewing requirements documents, user stories, specifications, or any software requirement text to identify vague quantifiers, unclear scope, undefined terms, missing edge cases, subjective language, and incomplete specifications. Provides detailed analysis with clarifying questions and suggested improvem…

  skills/ambiguity-detector/SKILL.md on GitHub (opens in a new tab)

• api-design-assistant

  Design and review APIs with suggestions for endpoints, parameters, return types, and best practices. Use when designing new APIs from requirements, reviewing existing API designs, generating API documentation, or getting implementation guidance. Supports REST APIs with focus on endpoint structure, request/response schemas, authentication, pagination, filtering, versioning, and OpenAPI specificati…

  skills/api-design-assistant/SKILL.md on GitHub (opens in a new tab)

• api-documentation-generator

  Generate comprehensive API documentation from repository sources including OpenAPI specs, code comments, docstrings, and existing documentation. Use when documenting APIs, creating API reference guides, or summarizing API functionality from codebases. Extracts endpoint details, request/response schemas, authentication methods, and generates code examples. Triggers when users ask to document APIs,…

  skills/api-documentation-generator/SKILL.md on GitHub (opens in a new tab)

• assertion-synthesizer

  Generate test assertions from existing code implementation. Use when the user has implementation code without tests or incomplete test coverage, and needs assertions synthesized by analyzing the code's behavior, inputs, outputs, and state changes. Supports Python (pytest/unittest), Java (JUnit/AssertJ), and JavaScript/TypeScript (Jest/Chai). Handles equality checks, collections, exceptions, and s…

  skills/assertion-synthesizer/SKILL.md on GitHub (opens in a new tab)

• behavior-preservation-checker

  Compare runtime behavior between original and migrated repositories to detect behavioral differences, regressions, and semantic changes. Use when validating code migrations, refactorings, language ports, framework upgrades, or any transformation that should preserve behavior. Automatically compares test results, execution traces, API responses, and observable outputs between two repository versio…

  skills/behavior-preservation-checker/SKILL.md on GitHub (opens in a new tab)

• behavioral-mutation-analyzer

  Analyzes surviving mutants from mutation testing to identify why tests failed to detect them. Takes repository code, test suite, and mutation testing results as input. Identifies root causes including insufficient coverage, equivalent mutants, weak assertions, and missed edge cases. Automatically generates actionable test improvements and new test cases. Use when analyzing mutation testing result…

  skills/behavioral-mutation-analyzer/SKILL.md on GitHub (opens in a new tab)

• bisect-aware-instrumentation

  Instrument code to support efficient git bisect by producing deterministic pass/fail signals and concise runtime summaries for each tested commit. Use when debugging regressions with git bisect, automating bisect workflows, creating bisect test scripts, handling flaky tests during bisection, or needing clear exit codes and logging for automated bisect runs. Helps identify the exact commit that in…

  skills/bisect-aware-instrumentation/SKILL.md on GitHub (opens in a new tab)

• bug-history-summarizer

  Summarizes the complete lifecycle of a bug across code versions, tracking its introduction, detection, fixing attempts, and regression history. Use when users need to: (1) Understand how a bug evolved over time, (2) Trace when and how a bug was introduced, (3) Analyze fix attempts and their effectiveness, (4) Identify regression patterns, (5) Generate bug lifecycle reports for documentation or po…

  skills/bug-history-summarizer/SKILL.md on GitHub (opens in a new tab)

• bug-localization

  Identify the precise location of bugs in source code, modules, and systems. Use this skill when debugging applications, investigating test failures, analyzing error reports, tracing runtime issues, or performing root cause analysis. Analyzes stack traces, error messages, failing tests, and code patterns to pinpoint buggy functions, classes, files, or modules with confidence rankings and supportin…

  skills/bug-localization/SKILL.md on GitHub (opens in a new tab)

• bug-reproduction-test-generator

  Automatically generates executable tests that reproduce reported bugs from issue reports and code repositories. Use when users need to: (1) Create a test that reproduces a bug described in an issue report, (2) Generate failing tests from bug descriptions, stack traces, or error messages, (3) Validate bug reports by creating reproducible test cases, (4) Convert issue reports into executable regres…

  skills/bug-reproduction-test-generator/SKILL.md on GitHub (opens in a new tab)

• bug-to-patch-generator

  Generate code fixes and patches from bug reports, failing test cases, error messages, and stack traces. Use this skill when debugging code, fixing test failures, addressing GitHub issues, resolving runtime errors, or patching security vulnerabilities. Analyzes the bug context, identifies root causes, and generates precise code patches with explanations and validation steps.

  skills/bug-to-patch-generator/SKILL.md on GitHub (opens in a new tab)

• build-ci-migration-assistant

  Automatically migrates build systems and CI/CD configurations to target platforms. Use when modernizing build infrastructure, switching CI/CD providers, or standardizing across projects. Supports common migration paths including Maven↔Gradle, npm↔Yarn, Travis CI→GitHub Actions, CircleCI→GitHub Actions, Jenkins→GitLab CI, and GitLab CI→GitHub Actions. Analyzes existing configuration, generates equ…

  skills/build-ci-migration-assistant/SKILL.md on GitHub (opens in a new tab)

• c-cpp-to-lean4-translator

  Translate C or C++ programs into equivalent Lean4 code, preserving program semantics and ensuring the generated code is well-typed, executable, and can run successfully. Use when the user asks to convert C/C++ code to Lean4, port C/C++ programs to Lean4, translate imperative code to functional Lean4, or create Lean4 versions of C/C++ algorithms.

  skills/c-cpp-to-lean4-translator/SKILL.md on GitHub (opens in a new tab)

• cd-pipeline-generator

  Generate GitHub Actions deployment workflows for automated deployment to staging and production environments on cloud platforms (AWS, GCP, Azure). Use when setting up continuous deployment pipelines, creating deployment automation, or configuring multi-environment deployment strategies. Includes templates for environment-specific deployments with approval gates, secrets management, and rollback c…

  skills/cd-pipeline-generator/SKILL.md on GitHub (opens in a new tab)

• change-log-generator

  Automatically generates change logs from git commits, patches, and pull requests. Use when preparing software releases, creating version summaries, or maintaining CHANGELOG.md files. Analyzes commit messages (including conventional commits), diff/patch files, and PR data to produce categorized Markdown change logs organized by type (Features, Bug Fixes, Breaking Changes, etc.). Ideal for release…

  skills/change-log-generator/SKILL.md on GitHub (opens in a new tab)

• ci-pipeline-synthesizer

  Generate GitHub Actions CI/CD pipeline configurations for automated building and testing of library and package projects. Use when creating or updating CI workflows for npm packages, Python packages, Go modules, Rust crates, or other library projects that need automated build and test pipelines. Includes templates for common package ecosystems with best practices for dependency caching, matrix te…

  skills/ci-pipeline-synthesizer/SKILL.md on GitHub (opens in a new tab)

• code-change-summarizer

  Generates clear and structured pull request descriptions from code changes. Use when Claude needs to: (1) Create PR descriptions from git diffs or code changes, (2) Summarize what changed and why, (3) Document breaking changes with migration guides, (4) Add technical details and design decisions, (5) Provide testing instructions, (6) Enhance descriptions with security, performance, and architectu…

  skills/code-change-summarizer/SKILL.md on GitHub (opens in a new tab)

• code-comment-generator

  Generates meaningful comments and documentation for code to improve maintenance and readability. Use when adding documentation to Python or Java code, including function/method docstrings, class documentation, inline explanations for complex logic, and code annotations (TODO, FIXME). Analyzes existing comment style in the codebase to match conventions. Produces clear, concise comments that explai…

  skills/code-comment-generator/SKILL.md on GitHub (opens in a new tab)

• code-completion-semantic-constraints

  Automatically complete partial code snippets while satisfying semantic constraints including variable types, invariants, pre/post-conditions, interface contracts, and expected input/output behavior. Use when users provide incomplete code with specific requirements like "complete this function that takes a list and returns sorted unique elements" or "fill in this method body that must maintain the…

  skills/code-completion-semantic-constraints/SKILL.md on GitHub (opens in a new tab)

• code-instrumentation-generator

  Automatically instruments source code to collect runtime information such as function calls, branch decisions, variable values, and execution traces while preserving original program semantics. Use when users need to: (1) Add logging or tracing to code for debugging, (2) Collect runtime execution data for analysis, (3) Monitor function calls and control flow, (4) Track variable values during exec…

  skills/code-instrumentation-generator/SKILL.md on GitHub (opens in a new tab)

• code-optimizer

  Analyzes and optimizes code for better performance, memory usage, and efficiency. Use when code is slow, memory-intensive, or inefficient. Supports Python and Java optimization including execution speed improvements, memory reduction, database query optimization, and I/O efficiency. Provides before/after examples with detailed explanations of why optimizations work, complexity analysis, and measu…

  skills/code-optimizer/SKILL.md on GitHub (opens in a new tab)

• code-pattern-extractor

  Analyze codebases to identify reusable code patterns, duplications, and implementation patterns for future development. Use when refactoring code, identifying technical debt, finding opportunities for abstraction, or documenting common patterns in a directory or module. Outputs pattern catalogs, refactoring suggestions, and reusable template code.

  skills/code-pattern-extractor/SKILL.md on GitHub (opens in a new tab)

• code-refactoring-assistant

  Suggest and apply code refactorings to improve readability, maintainability, and code quality. Use this skill when improving existing code structure, eliminating code smells, applying design patterns, simplifying complex logic, extracting duplicated code, renaming for clarity, or preparing code for new features. Provides specific before/after examples, explains benefits, identifies risks, and ens…

  skills/code-refactoring-assistant/SKILL.md on GitHub (opens in a new tab)

• code-repair-generation-combo

  Automatically repair buggy code and generate comprehensive tests for Python, Java, and C++ programs. Use when users need to fix logic errors or runtime errors in functions, modules, or repositories. Accepts specifications via natural language descriptions, existing test cases, or input/output examples. Generates corrected code, creates or updates tests to verify correctness and prevent regression…

  skills/code-repair-generation-combo/SKILL.md on GitHub (opens in a new tab)

No skill matches that filter.

Similar skills

• planning-with-filesby OthmanAdi Persistent file-based planning for AI coding agents and long-running tasks. Crash-proof markdown plans, session recovery after /clear and c… 27.5k stars · 6 skills
• AI-Research-SKILLsby Orchestra-Research Comprehensive open-source library of AI research and engineering skills for any AI model. Package the skills and your claude code/codex/gem… 13.6k stars · 30 skills
• claude-skillsby Jeffallan 67 Specialized Skills for Full-Stack Developers. Transform Claude Code into your expert pair programmer. 11.9k stars · 30 skills
• open-seo-mcp-skillsby Ryze-AI-Adgent Free SEO MCP server + open-source SEO and GEO skills for Claude: keyword research, rank tracking, audits, backlinks, AI visibility on your… 5.8k stars · 8 skills
• buildwithclaudeby davepoon A single hub to find Claude Skills, Agents, Commands, Hooks, Plugins, and Marketplace collections to extend Claude Code, Claude Desktop, Ag… 3.6k stars · 30 skills
• ECCby affaan-m The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Cod… 280k stars · 30 skills