Skills
skills/arabelatso/skills-4-se

arabelatso/skills-4-se

186 skills190 total installsGithubGithubGitHub

edge-case-generator

3

requirement-summarizer

3

test-guided-debloating

1

static-vulnerability-detector

1

requirement-summary

1

proof-failure-explainer

1

bug-localization

1

github-triage

1

agent-browser

1

lsp-refactoring

1

session-handoff

1

init-deep

1

skill-creator

1

frontend-ui-ux

1

git-master

1

flaky-test-detector

1

rtl-property-inference

1

code-pattern-extractor

1

python-repo-quickstart

1

cd-pipeline-generator

1

code-search-assistant

1

unit-test-generator

1

fuzzing-input-generator

1

proof-skeleton-generator

1

api-design-assistant

1

code-change-summarizer

1

test-driven-generation

1

test-oracle-generator

1

semantic-szz-analyzer

1

dead-code-removal

1

python-test-updater

1

proof-trace-summarizer

1

nl-to-constraints

1

pseudocode-to-java-code

1

model-guided-code-repair

1

function-class-generator

1

test-case-reducer

1

tlaplus-spec-generator

1

design-pattern-suggestor

1

release-notes-writer

1

test-case-documentation

1

code-optimizer

1

dependency-resolver

1

rtl-equivalence-checker

1

counterexample-debugger

1

design-smell-detector

1

ci-pipeline-synthesizer

1

code-review-assistant

1

req-to-test

1

readme-generator

1

code-summarizer

1

java-test-updater

1

test-deduplicator

1

deprecated-api-updater

1

template-code-generator

1

playwright-automation

1

formal-spec-generator

1

change-log-generator

1

modular-code-enforcement

1

specification-generator

1

smv-model-extractor

1

issue-report-generator

1

git-bisect-assistant

1

mocking-test-generator

1

code-comment-generator

1

assertion-synthesizer

1

runtime-error-explainer

1

scenario-generator

1

exploitability-analyzer

1

release-change-analyzer

1

legacy-code-summarizer

1

code-smell-detector

1

configuration-generator

1

dead-code-eliminator

1

invariant-inference

1

counterexample-explainer

1

test-guided-bug-detector

1

system-diagram-generator

1

security-patch-advisor

1

bug-to-patch-generator

1

library-advisor

1

conflict-analyzer

1

requirement-enhancer

1

pseudocode-extractor

1

test-suite-prioritizer

1

bug-history-summarizer

1

abstract-state-analyzer

1

strategic-planner

1

tlaplus-model-reduction

1

counterexample-generator

1

reference-searcher

1

semantic-bug-detector

1

technical-debt-analyzer

1

code-translation

1

cpp-to-dafny-translator

1

ambiguity-detector

1

abstract-domain-explorer

1

static-bug-detector

1

regression-root-cause-analyzer

1

python-regression-test-generator

1

reproduction-trace-instrumenter

1

multi-version-behavior-comparator

1

bug-reproduction-test-generator

1

interval-difference-analyzer

1

regression-consistency-checker

1

taint-instrumentation-assistant

1

imperative-to-coq-model-extractor

1

vulnerability-root-cause-analyzer

1

pseudocode-to-python-code

1

program-to-tlaplus-spec-generator

1

program-correctness-prover

1

lemma-discovery-assistant

1

abstract-invariant-generator

1

specification-to-temporal-logic-generator

1

control-flow-abstraction-generator

1

critical-interval-security-checker

1

szz-bug-introducing-commit-identifier

1

acsl-annotation-assistant

1

symbolic-execution-assistant

1

interval-profiling-performance-analyzer

1

c-cpp-to-lean4-translator

1

environment-setup-assistant

1

smart-mutation-operator-generator

1

replay-oriented-instrumentation

1

error-explanation-generator

1

abstract-trace-summarizer

1

static-reasoning-verifier

1

rtl-specification-consistency-checker

1

traceability-matrix-generator

1

code-instrumentation-generator

1

trace-collection-assistant

1

requirement-comparison-reporter

1

proof-refactoring-assistant

1

behavioral-mutation-analyzer

1

metamorphic-property-extractor

1

python-to-dafny-translator

1

code-completion-semantic-constraints

1

code-repair-generation-combo

1

requirement-to-tlaplus-property-generator

1

verified-spec-code-mapper

1

framework-migration-assistant

1

bisect-aware-instrumentation

1

component-boundary-identifier

1

cve-reachability-analyzer

1

module-component-generator

1

markdown-document-structurer

1

specification-driven-generation

1

python-api-consistency-validator

1

java-api-consistency-validator

1

mutation-test-suite-optimizer

1

cve-watchlist-action-recommendation-generator

1

api-documentation-generator

1

directed-test-input-generator

1

interface-contract-verifier

1

incremental-python-programmer

1

proof-carrying-code-generator

1

spring-mvc-to-boot-migrator

1

module-level-code-translator

1

refinement-step-generator

1

metamorphic-test-generator

1

integration-test-generator

1

state-snapshot-instrumenter

1

verified-pseudocode-extractor

1

build-ci-migration-assistant

1

python-to-lean4-translator

1

counterexample-to-test-generator

1

tlaplus-guided-code-repair

1

program-to-model-extractor

1

behavior-preservation-checker

1

failure-oriented-instrumentation

1

time-aware-dependency-cve-scanner

1

containerization-assistant

1

semantic-equivalence-verifier

1

verification-boundary-reporter

1

test-guided-migration-assistant

1

security-sensitive-path-instrumenter

1

tactic-suggestion-assistant

1

rollback-strategy-advisor

1

requirement-coverage-checker

1

interval-guided-regression-test-update

1

vulnerability-pattern-matcher

1

code-refactoring-assistant

1

java-regression-test-generator

1

config-consistency-checker

1

incremental-java-programmer

1

coverage-enhancer

1