@arabelatso
Repositories and identified skills associated with this GitHub account in the current catalog. Repository claims apply only to the named repository, not to the account or a person's identity.
- Distinct repositories in the catalog
- 1
- Distinct skills in the discovery index
- 188
- Repositories with skill data
- 1 / 1
- Skills expected from declared scan coverage
- 188
All skills declared by the supplied scan coverage are represented. Coverage is not a safety or freshness assessment.
Catalog snapshot:
Repositories
-
ArabelaTso/Skills-4-SE
Identified skills: 188
All skills declared by the supplied scan coverage are represented. Coverage is not a safety or freshness assessment.
Identified skills
- time-aware-dependency-cve-scanner ArabelaTso/Skills-4-SE
- counterexample-explainer ArabelaTso/Skills-4-SE
- interval-profiling-performance-analyzer ArabelaTso/Skills-4-SE
- program-to-tlaplus-spec-generator ArabelaTso/Skills-4-SE
- proof-failure-explainer ArabelaTso/Skills-4-SE
- critical-interval-security-checker ArabelaTso/Skills-4-SE
- python-to-dafny-translator ArabelaTso/Skills-4-SE
- code-review-assistant ArabelaTso/Skills-4-SE
- incremental-java-programmer ArabelaTso/Skills-4-SE
- environment-setup-assistant ArabelaTso/Skills-4-SE
- technical-debt-analyzer ArabelaTso/Skills-4-SE
- vulnerability-pattern-matcher ArabelaTso/Skills-4-SE
- counterexample-to-test-generator ArabelaTso/Skills-4-SE
- lsp-refactoring ArabelaTso/Skills-4-SE
- metamorphic-property-extractor ArabelaTso/Skills-4-SE
- tlaplus-spec-generator ArabelaTso/Skills-4-SE
- regression-consistency-checker ArabelaTso/Skills-4-SE
- configuration-generator ArabelaTso/Skills-4-SE
- ci-pipeline-synthesizer ArabelaTso/Skills-4-SE
- acsl-annotation-assistant ArabelaTso/Skills-4-SE
- proof-skeleton-generator ArabelaTso/Skills-4-SE
- template-code-generator ArabelaTso/Skills-4-SE
- test-guided-debloating ArabelaTso/Skills-4-SE
- program-correctness-prover ArabelaTso/Skills-4-SE
- lemma-discovery-assistant ArabelaTso/Skills-4-SE
- code-refactoring-assistant ArabelaTso/Skills-4-SE
- design-pattern-suggestor ArabelaTso/Skills-4-SE
- python-regression-test-generator ArabelaTso/Skills-4-SE
- rtl-specification-consistency-checker ArabelaTso/Skills-4-SE
- flaky-test-detector ArabelaTso/Skills-4-SE
- test-guided-bug-detector ArabelaTso/Skills-4-SE
- tactic-suggestion-assistant ArabelaTso/Skills-4-SE
- abstract-state-analyzer ArabelaTso/Skills-4-SE
- symbolic-execution-assistant ArabelaTso/Skills-4-SE
- directed-test-input-generator ArabelaTso/Skills-4-SE
- integration-test-generator ArabelaTso/Skills-4-SE
- unit-test-generator ArabelaTso/Skills-4-SE
- bug-history-summarizer ArabelaTso/Skills-4-SE
- security-sensitive-path-instrumenter ArabelaTso/Skills-4-SE
- static-bug-detector ArabelaTso/Skills-4-SE
- framework-migration-assistant ArabelaTso/Skills-4-SE
- counterexample-generator ArabelaTso/Skills-4-SE
- build-ci-migration-assistant ArabelaTso/Skills-4-SE
- cpp-to-dafny-translator ArabelaTso/Skills-4-SE
- interval-difference-analyzer ArabelaTso/Skills-4-SE
- deprecated-api-updater ArabelaTso/Skills-4-SE
- test-oracle-generator ArabelaTso/Skills-4-SE
- behavior-preservation-checker ArabelaTso/Skills-4-SE
- design-smell-detector ArabelaTso/Skills-4-SE
- abstract-domain-explorer ArabelaTso/Skills-4-SE
