The catalog
325,949 rows, by stacks then stars
Rtl specification consistency checker
ArabelaTso/Skills-4-SE/skills/rtl-specification-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/runtime-error-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/scenario-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/security-patch-advisor Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
Security sensitive path instrumenter
ArabelaTso/Skills-4-SE/skills/security-sensitive-path-instrumenter 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/semantic-bug-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/semantic-equivalence-verifier 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/semantic-szz-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/session-handoff 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/skill-creator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
Smart mutation operator generator
ArabelaTso/Skills-4-SE/skills/smart-mutation-operator-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/smv-model-extractor Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
Specification driven generation
ArabelaTso/Skills-4-SE/skills/specification-driven-generation 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/specification-generator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
Specification to temporal logic generator
ArabelaTso/Skills-4-SE/skills/specification-to-temporal-logic-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/spring-mvc-to-boot-migrator 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/state-snapshot-instrumenter 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/static-bug-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/static-reasoning-verifier 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/static-vulnerability-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/strategic-planner 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/symbolic-execution-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/system-diagram-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/szz-bug-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/tactic-suggestion-assistant Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
Taint instrumentation assistant
ArabelaTso/Skills-4-SE/skills/taint-instrumentation-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/technical-debt-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/template-code-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/test-case-documentation 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/test-case-reducer 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/test-deduplicator 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/test-driven-generation 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/test-guided-bug-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/test-guided-debloating Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
Test guided migration assistant
ArabelaTso/Skills-4-SE/skills/test-guided-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/test-oracle-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/test-suite-prioritizer Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
Time aware dependency cve scanner
ArabelaTso/Skills-4-SE/skills/time-aware-dependency-cve-scanner 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/tlaplus-guided-code-repair 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/tlaplus-model-reduction 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/tlaplus-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/trace-collection-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/traceability-matrix-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/unit-test-generator Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
Verification boundary reporter
ArabelaTso/Skills-4-SE/skills/verification-boundary-reporter 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/verified-pseudocode-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/verified-spec-code-mapper 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/vulnerability-pattern-matcher Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
Vulnerability root cause analyzer
ArabelaTso/Skills-4-SE/skills/vulnerability-root-cause-analyzer Skill
142★ repoA curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
arbiterForge/codeArbiter/core/surface/skills/context-check Skill
141★ repoWhen you can't trust yourself with your code base, trust Arbiter.
arbiterForge/codeArbiter/core/surface/skills/context-creation Skill
141★ repoWhen you can't trust yourself with your code base, trust Arbiter.
arbiterForge/codeArbiter/core/surface/skills/crypto-compliance Skill
141★ repoWhen you can't trust yourself with your code base, trust Arbiter.
arbiterForge/codeArbiter/core/surface/skills/debug Skill
141★ repoWhen you can't trust yourself with your code base, trust Arbiter.
arbiterForge/codeArbiter/core/surface/skills/decision-lifecycle Skill
141★ repoWhen you can't trust yourself with your code base, trust Arbiter.
arbiterForge/codeArbiter/core/surface/skills/decision-variance Skill
141★ repoWhen you can't trust yourself with your code base, trust Arbiter.
arbiterForge/codeArbiter/core/surface/skills/decompose Skill
141★ repoWhen you can't trust yourself with your code base, trust Arbiter.
arbiterForge/codeArbiter/core/surface/skills/dispatching-parallel-agents Skill
141★ repoWhen you can't trust yourself with your code base, trust Arbiter.
arbiterForge/codeArbiter/core/surface/skills/executing-plans Skill
141★ repoWhen you can't trust yourself with your code base, trust Arbiter.
Finishing a development branch
arbiterForge/codeArbiter/core/surface/skills/finishing-a-development-branch Skill
141★ repoWhen you can't trust yourself with your code base, trust Arbiter.
arbiterForge/codeArbiter/core/surface/skills/post-merge-cleanup Skill
141★ repoWhen you can't trust yourself with your code base, trust Arbiter.