Skills

santosomar/general-secure-coding-agent-skills

92 skills117 total installsGithubGithubGitHub

code-review-assistant

15

dependency-resolver

4

configuration-generator

3

ci-pipeline-synthesizer

3

api-design-assistant

2

code-refactoring-assistant

2

code-smell-detector

2

test-driven-generation

2

code-translation

1

static-vulnerability-detector

1

code-search-assistant

1

cd-pipeline-generator

1

test-oracle-generator

1

semantic-szz-analyzer

1

python-test-updater

1

nl-to-constraints

1

pseudocode-to-java-code

1

model-guided-code-repair

1

tlaplus-spec-generator

1

test-case-reducer

1

design-pattern-suggestor

1

release-notes-writer

1

test-case-documentation

1

code-pattern-extractor

1

counterexample-debugger

1

bug-localization

1

code-summarizer

1

cpp-to-dafny-translator

1

requirement-summary

1

unit-test-generator

1

test-deduplicator

1

formal-spec-generator

1

change-log-generator

1

smv-model-extractor

1

mocking-test-generator

1

code-comment-generator

1

runtime-error-explainer

1

scenario-generator

1

legacy-code-summarizer

1

szz-bug-identifier

1

req-to-test

1

code-optimizer

1

dead-code-eliminator

1

invariant-inference

1

test-guided-bug-detector

1

bug-to-patch-generator

1

requirement-summarizer

1

requirement-enhancer

1

pseudocode-extractor

1

test-suite-prioritizer

1

tlaplus-model-reduction

1

semantic-bug-detector

1

technical-debt-analyzer

1

coverage-enhancer

1

ambiguity-detector

1

static-bug-detector

1

regression-root-cause-analyzer

1

python-regression-test-generator

1

multi-version-behavior-comparator

1

bug-reproduction-test-generator

1

taint-instrumentation-assistant

1

pseudocode-to-python-code

1

program-to-tlaplus-spec-generator

1

abstract-invariant-generator

1

specification-to-temporal-logic-generator

1

c-cpp-to-lean4-translator

1

smart-mutation-operator-generator

1

traceability-matrix-generator

1

requirement-comparison-reporter

1

python-to-dafny-translator

1

requirement-to-tlaplus-property-generator

1

config-consistency-checker

1

java-regression-test-generator

1

component-boundary-identifier

1

mutation-test-suite-optimizer

1

spring-mvc-to-boot-migrator

1

module-level-code-translator

1

metamorphic-test-generator

1

build-ci-migration-assistant

1

verified-pseudocode-extractor

1

python-to-lean4-translator

1

tlaplus-guided-code-repair

1

counterexample-to-test-generator

1

behavior-preservation-checker

1

containerization-assistant

1

semantic-equivalence-verifier

1

requirement-coverage-checker

1

test-guided-migration-assistant

1

rollback-strategy-advisor

1

vulnerability-pattern-matcher

1

patch-advisor

1

java-test-updater

1