The catalog
325,949 rows, by stacks then stars
ArabelaTso/Skills-4-SE/skills/c-cpp-to-lean4-translator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/cd-pipeline-generator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/change-log-generator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/ci-pipeline-synthesizer Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/code-change-summarizer Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/code-comment-generator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
Code completion semantic constraints
ArabelaTso/Skills-4-SE/skills/code-completion-semantic-constraints Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
Code instrumentation generator
ArabelaTso/Skills-4-SE/skills/code-instrumentation-generator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/code-optimizer Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/code-pattern-extractor Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/code-refactoring-assistant Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/code-repair-generation-combo Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/code-review-assistant Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/code-search-assistant Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/code-smell-detector Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/code-summarizer Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/code-translation Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/component-boundary-identifier Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/config-consistency-checker Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/configuration-generator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/conflict-analyzer Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/containerization-assistant Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
Control flow abstraction generator
ArabelaTso/Skills-4-SE/skills/control-flow-abstraction-generator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/counterexample-debugger Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/counterexample-explainer Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/counterexample-generator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
Counterexample to test generator
ArabelaTso/Skills-4-SE/skills/counterexample-to-test-generator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/coverage-enhancer Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/cpp-to-dafny-translator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
Critical interval security checker
ArabelaTso/Skills-4-SE/skills/critical-interval-security-checker Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/cve-reachability-analyzer Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
Cve watchlist action recommendation generator
ArabelaTso/Skills-4-SE/skills/cve-watchlist-action-recommendation-generator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/dead-code-eliminator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/dead-code-removal Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/dependency-resolver Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/deprecated-api-updater Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/design-pattern-suggestor Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/design-smell-detector Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/directed-test-input-generator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/edge-case-generator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/environment-setup-assistant Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/error-explanation-generator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/exploitability-analyzer Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
Failure oriented instrumentation
ArabelaTso/Skills-4-SE/skills/failure-oriented-instrumentation Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/flaky-test-detector Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/formal-spec-generator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/framework-migration-assistant Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/frontend-ui-ux Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/function-class-generator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/fuzzing-input-generator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/git-bisect-assistant Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/git-master Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/github-triage Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
Imperative to coq model extractor
ArabelaTso/Skills-4-SE/skills/imperative-to-coq-model-extractor Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/incremental-java-programmer Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/incremental-python-programmer Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/init-deep Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/integration-test-generator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ArabelaTso/Skills-4-SE/skills/interface-contract-verifier Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
Interface specification generator
ArabelaTso/Skills-4-SE/skills/interface-specification-generator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.