arabelatso/skills-4-se
59 skills
$npx skills add arabelatso/skills-4-seSkillInstalls
abstract-domain-explorerApplies abstract interpretation using different abstract domains (intervals, octagons, polyhedra, sign, congruence) to statically analyze program variables and…abstract-invariant-generatorUses abstract interpretation to automatically infer loop invariants, function preconditions, and postconditions for formal verification.abstract-state-analyzerPerforms abstract interpretation over source code to infer possible program states, variable ranges, and data properties without executing the program.abstract-trace-summarizerPerforms abstract interpretation to produce summarized execution traces and high-level program behavior representations.acsl-annotation-assistantCreate ACSL (ANSI/ISO C Specification Language) formal annotations for C/C++ programs.agent-browserCLI-based browser automation with persistent page state using ref-based element interaction.ambiguity-detectorDetects and analyzes ambiguous language in software requirements and user stories.api-design-assistantDesign and review APIs with suggestions for endpoints, parameters, return types, and best practices.api-documentation-generatorGenerate comprehensive API documentation from repository sources including OpenAPI specs, code comments, docstrings, and existing documentation.assertion-synthesizerGenerate test assertions from existing code implementation. Use when the user has implementation code without tests or incomplete test coverage, and needs…behavior-preservation-checkerCompare runtime behavior between original and migrated repositories to detect behavioral differences, regressions, and semantic changes.behavioral-mutation-analyzerAnalyzes surviving mutants from mutation testing to identify why tests failed to detect them.bisect-aware-instrumentationInstrument code to support efficient git bisect by producing deterministic pass/fail signals and concise runtime summaries for each tested commit.bug-history-summarizerSummarizes the complete lifecycle of a bug across code versions, tracking its introduction, detection, fixing attempts, and regression history.bug-localizationIdentify the precise location of bugs in source code, modules, and systems.bug-reproduction-test-generatorAutomatically generates executable tests that reproduce reported bugs from issue reports and code repositories.bug-to-patch-generatorGenerate code fixes and patches from bug reports, failing test cases, error messages, and stack traces.build-ci-migration-assistantAutomatically migrates build systems and CI/CD configurations to target platforms.c-cpp-to-lean4-translatorTranslate C or C++ programs into equivalent Lean4 code, preserving program semantics and ensuring the generated code is well-typed, executable, and can run…cd-pipeline-generatorGenerate GitHub Actions deployment workflows for automated deployment to staging and production environments on cloud platforms (AWS, GCP, Azure).change-log-generatorAutomatically generates change logs from git commits, patches, and pull requests.ci-pipeline-synthesizerGenerate GitHub Actions CI/CD pipeline configurations for automated building and testing of library and package projects.code-change-summarizerGenerates clear and structured pull request descriptions from code changes.code-comment-generatorGenerates meaningful comments and documentation for code to improve maintenance and readability.code-completion-semantic-constraintsAutomatically complete partial code snippets while satisfying semantic constraints including variable types, invariants, pre/post-conditions, interface…code-instrumentation-generatorAutomatically instruments source code to collect runtime information such as function calls, branch decisions, variable values, and execution traces while…code-optimizerAnalyzes and optimizes code for better performance, memory usage, and efficiency. Use when code is slow, memory-intensive, or inefficient.code-pattern-extractorAnalyze codebases to identify reusable code patterns, duplications, and implementation patterns for future development.code-refactoring-assistantSuggest and apply code refactorings to improve readability, maintainability, and code quality.code-repair-generation-comboAutomatically repair buggy code and generate comprehensive tests for Python, Java, and C++ programs.code-review-assistantConduct comprehensive code reviews identifying bugs, security issues, performance problems, code quality concerns, and best practice violations.code-search-assistantSearch code repositories for code related to a given code snippet, ranking results by call chain similarity, textual similarity, and functional similarity.code-smell-detectorIdentify and report code smells indicating poor design or maintainability issues in Python code, including duplicate code, magic numbers, hardcoded values, God…code-summarizerGenerate concise summaries of source code at multiple scales. Use when users ask to summarize, explain, or understand code - whether it's a single function, a…code-translationConvert code between programming languages while preserving functionality and semantics.component-boundary-identifierIdentifies boundaries between modules or components in software systems through static code analysis and dependency detection.config-consistency-checkerAutomatically analyzes configuration files to detect inconsistencies, conflicts, missing keys, and divergent values across environments, versions, or modules.configuration-generatorGenerate configuration files for applications, services, and infrastructure.conflict-analyzerIdentifies and analyzes conflicts in software requirements including logical contradictions, technical incompatibilities, resource constraints, timeline…containerization-assistantGenerate Dockerfiles, Docker Compose configurations, and Kubernetes manifests for containerizing applications.control-flow-abstraction-generatorGenerate abstract Control Flow Graph (CFG) representations of programs showing loops, branches, and function calls for static analysis or verification.counterexample-debuggerDebug proof failures using counterexamples from Nitpick (Isabelle) or QuickChick (Coq) to identify specification errors, missing preconditions, and proof…counterexample-explainerExplain why counterexamples violate specifications by analyzing formal specifications (temporal logic, invariants, pre/postconditions, code contracts),…counterexample-generatorGenerate concrete counterexamples when formal verification, assertions, or specifications fail.counterexample-to-test-generatorAutomatically generates executable test cases from model checking counterexample traces.coverage-enhancerAnalyze existing test suites and source code to suggest additional unit tests that improve test coverage.cpp-to-dafny-translatorTranslate C/C++ programs to equivalent Dafny code while preserving semantics and ensuring verification.critical-interval-security-checkerAnalyzes code to identify security-critical time intervals and timing vulnerabilities in authentication, authorization, and time-sensitive security operations.cve-reachability-analyzerAnalyze CVE reachability in software repositories by examining how vulnerable dependencies are imported and used.cve-watchlist-action-recommendation-generatorGenerate prioritized CVE watchlists and actionable security recommendations for repositories.dead-code-eliminatorIdentify and analyze unused or redundant code including unused functions/methods, unused variables/imports, unreachable code, and redundant conditions.dead-code-removalDead code removal via parallel scanning, reference verification, batch execution, and atomic commits.dependency-resolverIdentify, analyze, and manage software dependencies before deployment.deprecated-api-updaterIdentify and replace deprecated API usage in source code with modern alternatives.design-pattern-suggestorRecommends appropriate software design patterns based on problem descriptions, requirements, or code scenarios.design-smell-detectorIdentify design quality issues in code including high coupling, low cohesion, God classes, long methods, and other code smells.directed-test-input-generatorGenerate targeted test inputs to reach specific code paths and hard-to-reach behaviors in Python code.edge-case-generatorAutomatically identify potential boundary and exception cases from requirements, specifications, or existing code, and generate comprehensive test cases…environment-setup-assistantGenerate setup scripts and instructions for development environments across platforms.