ArabelaTso/Skills-4-SE

ACSL Annotation Assistant creates ACSL contracts, loop invariants, assertions, and memory-safety specifications for C/C++ programs. Use it when preparing code for Frama-C or other formal verification workflows.

API Design Assistant helps design and review REST APIs by suggesting endpoints, parameters, schemas, authentication, pagination, and versioning. It is used for API planning, documentation, OpenAPI specs, and implementation guidance.

API Documentation Generator analyzes repository sources like OpenAPI specs, code comments, and existing docs to produce endpoint references, schemas, auth details, and examples. Use it when documenting an API or creating reference docs from a codebase.

Abstract Domain Explorer applies abstract interpretation to statically analyze programs and infer invariants, value ranges, and variable relationships. Use it to study loops, check safety properties, and detect issues like division by zero without running code.

Abstract Invariant Generator infers loop invariants, preconditions, and postconditions from code using abstract interpretation. Use it when adding formal specifications or verification conditions in Dafny, Isabelle, Coq, ACSL, and similar systems.

Abstract State Analyzer performs static abstract interpretation to infer possible program states, value ranges, and data properties without running code. Use it to find likely runtime errors such as out-of-bounds access, null dereferences, division by zero, type inconsistencies, and integer overflow.

Abstract Trace Summarizer performs abstract interpretation to summarize execution traces and high-level program behavior. Use it to analyze control flow, infer loop invariants, track variable ranges, and summarize possible runtime states without concrete execution.

Agent Browser opens websites in a CLI browser with persistent page state and ref-based element interaction. Use it to navigate pages, fill forms, take screenshots, test web apps, or extract page information.

Ambiguity Detector finds vague, unclear, or incomplete language in software requirements and user stories. Use it when reviewing specs to surface questions, severity, and clearer wording.

Assertion Synthesizer generates test assertions by analyzing implementation code, behavior, inputs, outputs, and state changes. Use it when code exists without tests or with incomplete coverage and you need assertions for Python, Java, or JavaScript/TypeScript.

Behavior Preservation Checker compares runtime behavior between original and migrated repositories to find regressions, semantic changes, and contract violations. Use it when validating migrations, refactors, language ports, or framework upgrades that should preserve behavior.

Behavioral Mutation Analyzer reviews surviving mutants from mutation testing to find why tests missed them. It identifies coverage gaps, weak assertions, edge cases, and equivalent mutants, then suggests test improvements and new cases.

Bisect-Aware Instrumentation creates deterministic pass/fail test scripts for git bisect runs. Use it to handle flaky tests, build failures, logging, and commit-by-commit regression checks.

Bug History Summarizer traces a bug across commits to show when it was introduced, detected, fixed, and whether it regressed. Use it for bug lifecycle reports, post-mortems, and analyzing repeated fix attempts.

Bug Localization identifies the most likely source of a bug from stack traces, failing tests, logs, and code patterns. Use it when debugging crashes, test failures, or runtime issues and you need ranked suspect locations with evidence.

Bug Reproduction Test Generator creates executable tests from issue reports and repository code to reproduce reported bugs. Use it to turn stack traces, error messages, or bug descriptions into regression tests.

Bug To Patch Generator analyzes bug reports, failing tests, stack traces, and error messages to identify root causes. It generates targeted code patches and suggests validation steps when fixing defects or security issues.

Build CI Migration Assistant migrates build systems and CI/CD configs to target platforms. Use it when modernizing build infrastructure, switching CI/CD providers, or standardizing builds across projects.

C/C++ to Lean4 Translator converts C or C++ programs into Lean4 code that preserves semantics and stays well typed and executable. Use it when porting imperative algorithms, structs, loops, or I/O to Lean4.

CD Pipeline Generator creates GitHub Actions deployment workflows for staging and production. Use it to set up multi-environment release pipelines with approval gates, secrets, and rollback steps.

CI Pipeline Synthesizer generates GitHub Actions workflow files for library and package projects. Use it to set up build, test, caching, and matrix jobs for Node.js, Python, Go, or Rust packages.

Change Log Generator creates Markdown changelogs from git commits, diffs, and pull request data. Use it for release notes, version summaries, and maintaining CHANGELOG.md files.

Code Change Summarizer generates structured pull request descriptions from diffs and modified files. Use it to summarize changes, note breaking changes, document dependencies, and add testing or design details.

Code Comment Generator writes docstrings, class comments, inline explanations, and TODO/FIXME annotations for Python or Java code. It is used when adding documentation and matching existing comment style in a codebase.

Code Completion With Constraints completes partial code while meeting type, behavior, invariant, and interface requirements. Use it when a snippet must be finished and verified against explicit constraints.