agentsclimarketplace
Sign in

The catalog

325,949 rows, by stacks then stars

  • Interval difference analyzer

    ArabelaTso/Skills-4-SE/skills/interval-difference-analyzer Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Interval guided regression test update

    ArabelaTso/Skills-4-SE/skills/interval-guided-regression-test-update Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Interval profiling performance analyzer

    ArabelaTso/Skills-4-SE/skills/interval-profiling-performance-analyzer Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Invariant inference

    ArabelaTso/Skills-4-SE/skills/invariant-inference Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Issue report generator

    ArabelaTso/Skills-4-SE/skills/issue-report-generator Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Java api consistency validator

    ArabelaTso/Skills-4-SE/skills/java-api-consistency-validator Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Java regression test generator

    ArabelaTso/Skills-4-SE/skills/java-regression-test-generator Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Java test updater

    ArabelaTso/Skills-4-SE/skills/java-test-updater Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Legacy code summarizer

    ArabelaTso/Skills-4-SE/skills/legacy-code-summarizer Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Lemma discovery assistant

    ArabelaTso/Skills-4-SE/skills/lemma-discovery-assistant Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Library for proof advisor

    ArabelaTso/Skills-4-SE/skills/library-for-proof-advisor Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Lsp refactoring

    ArabelaTso/Skills-4-SE/skills/lsp-refactoring Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Markdown document structurer

    ArabelaTso/Skills-4-SE/skills/markdown-document-structurer Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Metamorphic property extractor

    ArabelaTso/Skills-4-SE/skills/metamorphic-property-extractor Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Metamorphic test generator

    ArabelaTso/Skills-4-SE/skills/metamorphic-test-generator Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Mocking test generator

    ArabelaTso/Skills-4-SE/skills/mocking-test-generator Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Model guided code repair

    ArabelaTso/Skills-4-SE/skills/model-guided-code-repair Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Modular code enforcement

    ArabelaTso/Skills-4-SE/skills/modular-code-enforcement Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Module component generator

    ArabelaTso/Skills-4-SE/skills/module-component-generator Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Module level code translator

    ArabelaTso/Skills-4-SE/skills/module-level-code-translator Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Multi version behavior comparator

    ArabelaTso/Skills-4-SE/skills/multi-version-behavior-comparator Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Mutation test suite optimizer

    ArabelaTso/Skills-4-SE/skills/mutation-test-suite-optimizer Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Nl to constraints

    ArabelaTso/Skills-4-SE/skills/nl-to-constraints Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Playwright automation

    ArabelaTso/Skills-4-SE/skills/playwright-automation Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Program correctness prover

    ArabelaTso/Skills-4-SE/skills/program-correctness-prover Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Program to model extractor

    ArabelaTso/Skills-4-SE/skills/program-to-model-extractor Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Program to tlaplus spec generator

    ArabelaTso/Skills-4-SE/skills/program-to-tlaplus-spec-generator Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Proof carrying code generator

    ArabelaTso/Skills-4-SE/skills/proof-carrying-code-generator Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Proof failure explainer

    ArabelaTso/Skills-4-SE/skills/proof-failure-explainer Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Proof refactoring assistant

    ArabelaTso/Skills-4-SE/skills/proof-refactoring-assistant Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Proof skeleton generator

    ArabelaTso/Skills-4-SE/skills/proof-skeleton-generator Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Proof trace summarizer

    ArabelaTso/Skills-4-SE/skills/proof-trace-summarizer Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Pseudocode extractor

    ArabelaTso/Skills-4-SE/skills/pseudocode-extractor Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Pseudocode to java code

    ArabelaTso/Skills-4-SE/skills/pseudocode-to-java-code Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Pseudocode to python code

    ArabelaTso/Skills-4-SE/skills/pseudocode-to-python-code Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Python api consistency validator

    ArabelaTso/Skills-4-SE/skills/python-api-consistency-validator Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Python regression test generator

    ArabelaTso/Skills-4-SE/skills/python-regression-test-generator Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Python repo quickstart

    ArabelaTso/Skills-4-SE/skills/python-repo-quickstart Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Python test updater

    ArabelaTso/Skills-4-SE/skills/python-test-updater Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Python to dafny translator

    ArabelaTso/Skills-4-SE/skills/python-to-dafny-translator Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Python to lean4 translator

    ArabelaTso/Skills-4-SE/skills/python-to-lean4-translator Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Readme generator

    ArabelaTso/Skills-4-SE/skills/readme-generator Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Reference searcher

    ArabelaTso/Skills-4-SE/skills/reference-searcher Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Refinement step generator

    ArabelaTso/Skills-4-SE/skills/refinement-step-generator Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Regression consistency checker

    ArabelaTso/Skills-4-SE/skills/regression-consistency-checker Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Regression root cause analyzer

    ArabelaTso/Skills-4-SE/skills/regression-root-cause-analyzer Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Release change analyzer

    ArabelaTso/Skills-4-SE/skills/release-change-analyzer Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Release notes writer

    ArabelaTso/Skills-4-SE/skills/release-notes-writer Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Replay oriented instrumentation

    ArabelaTso/Skills-4-SE/skills/replay-oriented-instrumentation Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Reproduction trace instrumenter

    ArabelaTso/Skills-4-SE/skills/reproduction-trace-instrumenter Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Req to test

    ArabelaTso/Skills-4-SE/skills/req-to-test Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Requirement comparison reporter

    ArabelaTso/Skills-4-SE/skills/requirement-comparison-reporter Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Requirement coverage checker

    ArabelaTso/Skills-4-SE/skills/requirement-coverage-checker Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Requirement enhancer

    ArabelaTso/Skills-4-SE/skills/requirement-enhancer Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Requirement summarizer

    ArabelaTso/Skills-4-SE/skills/requirement-summarizer Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Requirement summary

    ArabelaTso/Skills-4-SE/skills/requirement-summary Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Requirement to tlaplus property generator

    ArabelaTso/Skills-4-SE/skills/requirement-to-tlaplus-property-generator Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Rollback strategy advisor

    ArabelaTso/Skills-4-SE/skills/rollback-strategy-advisor Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Rtl equivalence checker

    ArabelaTso/Skills-4-SE/skills/rtl-equivalence-checker Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

  • Rtl property inference

    ArabelaTso/Skills-4-SE/skills/rtl-property-inference Skill

    142★ repo

    A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.