ArabelaTso/Skills-4-SE
Risk mix
- 186 Low risk
- 2 Review before installing
- 0 High risk
What these skills can do:
- Runs commands on your computer: 34 of 188
- Downloads and installs other software: 19 of 188
- Connects to the internet: 16 of 188
- Changes files outside its own folder: 1 of 188
Badge for your README
[](https://zalavijaysinh.github.io/skilltrust/repos/ArabelaTso/Skills-4-SE/)
188 skills
- 100 Low riskabstract-domain-explorer
- 100 Low riskabstract-invariant-generator
- 100 Low riskabstract-state-analyzer
- 100 Low riskabstract-trace-summarizer
- 100 Low riskacsl-annotation-assistant
- 100 Low riskambiguity-detector
- 100 Low riskapi-design-assistant
- 100 Low riskassertion-synthesizer
- 100 Low riskbug-localization
- 100 Low riskbug-reproduction-test-generator
- 100 Low riskbug-to-patch-generator
- 100 Low riskcode-change-summarizer
- 100 Low riskcode-completion-semantic-constraints
- 100 Low riskcode-instrumentation-generator
- 100 Low riskcode-repair-generation-combo
- 100 Low riskcode-summarizer
- 100 Low riskconfig-consistency-checker
- 100 Low riskconflict-analyzer
- 100 Low riskcontrol-flow-abstraction-generator
- 100 Low riskcounterexample-debugger
- 100 Low riskcounterexample-explainer
- 100 Low riskcounterexample-generator
- 100 Low riskcounterexample-to-test-generator
- 100 Low riskcoverage-enhancer
- 100 Low riskcpp-to-dafny-translator
- 100 Low riskcve-reachability-analyzer
- 100 Low riskcve-watchlist-action-recommendation-generator
- 100 Low riskdead-code-eliminator
- 100 Low riskdeprecated-api-updater
- 100 Low riskdesign-pattern-suggestor
- 100 Low riskdesign-smell-detector
- 100 Low riskdirected-test-input-generator
- 100 Low riskedge-case-generator
- 100 Low riskenvironment-setup-assistant
- 100 Low riskexploitability-analyzer
- 100 Low riskfailure-oriented-instrumentation
- 100 Low riskformal-spec-generator
- 100 Low riskfrontend-ui-ux
- 100 Low riskfunction-class-generator
- 100 Low riskfuzzing-input-generator
- 100 Low riskgit-bisect-assistant
- 100 Low riskgit-master
- 100 Low riskgithub-triage
- 100 Low riskimperative-to-coq-model-extractor
- 100 Low riskincremental-java-programmer
- 100 Low riskincremental-python-programmer
- 100 Low riskinit-deep
- 100 Low riskinterface-contract-verifier
- 100 Low riskinterface-specification-generator
- 100 Low riskinterval-difference-analyzer
- 100 Low riskinterval-guided-regression-test-update
- 100 Low riskinterval-profiling-performance-analyzer
- 100 Low riskinvariant-inference
- 100 Low riskissue-report-generator
- 100 Low riskjava-regression-test-generator
- 100 Low riskjava-test-updater
- 100 Low risklegacy-code-summarizer
- 100 Low risklemma-discovery-assistant
- 100 Low risklibrary-for-proof-advisor
- 100 Low risklsp-refactoring
- 100 Low riskmarkdown-document-structurer
- 100 Low riskmetamorphic-property-extractor
- 100 Low riskmetamorphic-test-generator
- 100 Low riskmodel-guided-code-repair
- 100 Low riskmodular-code-enforcement
- 100 Low riskmodule-component-generator
- 100 Low riskmodule-level-code-translator
- 100 Low riskmulti-version-behavior-comparator
- 100 Low riskmutation-test-suite-optimizer
- 100 Low risknl-to-constraints
- 100 Low riskplaywright-automation
- 100 Low riskprogram-correctness-prover
- 100 Low riskprogram-to-model-extractor
- 100 Low riskprogram-to-tlaplus-spec-generator
- 100 Low riskproof-carrying-code-generator
- 100 Low riskproof-failure-explainer
- 100 Low riskproof-refactoring-assistant
- 100 Low riskproof-skeleton-generator
- 100 Low riskproof-trace-summarizer
- 100 Low riskpseudocode-extractor
- 100 Low riskpseudocode-to-python-code
- 100 Low riskpython-api-consistency-validator
- 100 Low riskpython-regression-test-generator
- 100 Low riskpython-repo-quickstart
- 100 Low riskpython-to-lean4-translator
- 100 Low riskreadme-generator
- 100 Low riskreference-searcher
- 100 Low riskrefinement-step-generator
- 100 Low riskregression-consistency-checker
- 100 Low riskrelease-notes-writer
- 100 Low riskreproduction-trace-instrumenter
- 100 Low riskreq-to-test
- 100 Low riskrequirement-comparison-reporter
- 100 Low riskrequirement-coverage-checker
- 100 Low riskrequirement-enhancer
- 100 Low riskrequirement-summarizer
- 100 Low riskrequirement-summary
- 100 Low riskrequirement-to-tlaplus-property-generator
- 100 Low riskrtl-equivalence-checker
- 100 Low riskrtl-property-inference
- 100 Low riskrtl-specification-consistency-checker
- 100 Low riskruntime-error-explainer
- 100 Low riskscenario-generator
- 100 Low risksecurity-patch-advisor
- 100 Low risksemantic-bug-detector
- 100 Low risksemantic-equivalence-verifier
- 100 Low risksession-handoff
- 100 Low riskskill-creator
- 100 Low risksmart-mutation-operator-generator
- 100 Low risksmv-model-extractor
- 100 Low riskspecification-driven-generation
- 100 Low riskspecification-generator
- 100 Low riskspecification-to-temporal-logic-generator
- 100 Low riskspring-mvc-to-boot-migrator
- 100 Low riskstate-snapshot-instrumenter
- 100 Low riskstatic-bug-detector
- 100 Low riskstatic-reasoning-verifier
- 100 Low riskstatic-vulnerability-detector
- 100 Low riskstrategic-planner
- 100 Low risksystem-diagram-generator
- 100 Low riskszz-bug-identifier
- 100 Low risktactic-suggestion-assistant
- 100 Low risktaint-instrumentation-assistant
- 100 Low risktemplate-code-generator
- 100 Low risktest-case-documentation
- 100 Low risktest-case-reducer
- 100 Low risktest-deduplicator
- 100 Low risktest-driven-generation
- 100 Low risktest-guided-bug-detector
- 100 Low risktest-guided-debloating
- 100 Low risktest-oracle-generator
- 100 Low risktest-suite-prioritizer
- 100 Low risktime-aware-dependency-cve-scanner
- 100 Low risktlaplus-guided-code-repair
- 100 Low risktlaplus-model-reduction
- 100 Low risktlaplus-spec-generator
- 100 Low risktrace-collection-assistant
- 100 Low risktraceability-matrix-generator
- 100 Low riskunit-test-generator
- 100 Low riskverification-boundary-reporter
- 100 Low riskverified-pseudocode-extractor
- 100 Low riskverified-spec-code-mapper
- 100 Low riskvulnerability-root-cause-analyzer
- 97 Low riskcode-pattern-extractor
- 97 Low riskmocking-test-generator
- 97 Low riskvulnerability-pattern-matcher
- 95 Low riskbug-history-summarizer
- 95 Low riskc-cpp-to-lean4-translator
- 95 Low riskcd-pipeline-generator
- 95 Low riskchange-log-generator
- 95 Low riskcode-comment-generator
- 95 Low riskcode-refactoring-assistant
- 95 Low riskcode-review-assistant
- 95 Low riskcode-search-assistant
- 95 Low riskcomponent-boundary-identifier
- 95 Low riskcritical-interval-security-checker
- 95 Low riskflaky-test-detector
- 95 Low riskintegration-test-generator
- 95 Low riskjava-api-consistency-validator
- 95 Low riskpseudocode-to-java-code
- 95 Low riskpython-to-dafny-translator
- 95 Low riskrelease-change-analyzer
- 95 Low riskreplay-oriented-instrumentation
- 95 Low risksecurity-sensitive-path-instrumenter
- 90 Low riskapi-documentation-generator
- 90 Low riskbehavior-preservation-checker
- 90 Low riskpython-test-updater
- 90 Low riskrollback-strategy-advisor
- 90 Low risktechnical-debt-analyzer
- 85 Low riskci-pipeline-synthesizer
- 82 Low risklinkedin
- 80 Low riskagent-browser
- 80 Low riskbehavioral-mutation-analyzer
- 80 Low riskbisect-aware-instrumentation
- 80 Low riskbuild-ci-migration-assistant
- 80 Low riskcode-optimizer
- 80 Low riskcode-smell-detector
- 80 Low riskcode-translation
- 80 Low riskcontainerization-assistant
- 80 Low riskdead-code-removal
- 80 Low riskdependency-resolver
- 80 Low riskerror-explanation-generator
- 80 Low riskframework-migration-assistant
- 80 Low riskregression-root-cause-analyzer
- 80 Low risksymbolic-execution-assistant
- 80 Low risktest-guided-migration-assistant
- 77 Review before installingconfiguration-generator
- 70 Review before installingsemantic-szz-analyzer