ArabelaTso/Skills-4-SE
A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
ARCHETYPE
Skill Collector
Ten-plus skills loaded on demand. A procedural-knowledge library.
Copy this rig
# review before running: this installs third-party code
$ npx degit ArabelaTso/Skills-4-SE/skills ./rig-skills-4-se/skills MCP servers are added to Claude Code at local scope; env vars are shown as YOUR_… placeholders — we never store values. Files are fetched with degit into a separate folder so you can review before merging.
$ npx degit ArabelaTso/Skills-4-SE/skills/abstract-domain-explorer .claude/skills/abstract-domain-explorer $ npx degit ArabelaTso/Skills-4-SE/skills/abstract-invariant-generator .claude/skills/abstract-invariant-generator $ npx degit ArabelaTso/Skills-4-SE/skills/abstract-state-analyzer .claude/skills/abstract-state-analyzer $ npx degit ArabelaTso/Skills-4-SE/skills/abstract-trace-summarizer .claude/skills/abstract-trace-summarizer $ npx degit ArabelaTso/Skills-4-SE/skills/acsl-annotation-assistant .claude/skills/acsl-annotation-assistant $ npx degit ArabelaTso/Skills-4-SE/skills/agent-browser .claude/skills/agent-browser $ npx degit ArabelaTso/Skills-4-SE/skills/ambiguity-detector .claude/skills/ambiguity-detector $ npx degit ArabelaTso/Skills-4-SE/skills/api-design-assistant .claude/skills/api-design-assistant $ npx degit ArabelaTso/Skills-4-SE/skills/api-documentation-generator .claude/skills/api-documentation-generator $ npx degit ArabelaTso/Skills-4-SE/skills/assertion-synthesizer .claude/skills/assertion-synthesizer $ npx degit ArabelaTso/Skills-4-SE/skills/behavior-preservation-checker .claude/skills/behavior-preservation-checker $ npx degit ArabelaTso/Skills-4-SE/skills/behavioral-mutation-analyzer .claude/skills/behavioral-mutation-analyzer $ npx degit ArabelaTso/Skills-4-SE/skills/bisect-aware-instrumentation .claude/skills/bisect-aware-instrumentation $ npx degit ArabelaTso/Skills-4-SE/skills/bug-history-summarizer .claude/skills/bug-history-summarizer $ npx degit ArabelaTso/Skills-4-SE/skills/bug-localization .claude/skills/bug-localization $ npx degit ArabelaTso/Skills-4-SE/skills/bug-reproduction-test-generator .claude/skills/bug-reproduction-test-generator $ npx degit ArabelaTso/Skills-4-SE/skills/bug-to-patch-generator .claude/skills/bug-to-patch-generator $ npx degit ArabelaTso/Skills-4-SE/skills/build-ci-migration-assistant .claude/skills/build-ci-migration-assistant $ npx degit ArabelaTso/Skills-4-SE/skills/c-cpp-to-lean4-translator .claude/skills/c-cpp-to-lean4-translator $ npx degit ArabelaTso/Skills-4-SE/skills/cd-pipeline-generator .claude/skills/cd-pipeline-generator $ npx degit ArabelaTso/Skills-4-SE/skills/change-log-generator .claude/skills/change-log-generator $ npx degit ArabelaTso/Skills-4-SE/skills/ci-pipeline-synthesizer .claude/skills/ci-pipeline-synthesizer $ npx degit ArabelaTso/Skills-4-SE/skills/code-change-summarizer .claude/skills/code-change-summarizer $ npx degit ArabelaTso/Skills-4-SE/skills/code-comment-generator .claude/skills/code-comment-generator $ npx degit ArabelaTso/Skills-4-SE/skills/code-completion-semantic-constraints .claude/skills/code-completion-semantic-constraints $ npx degit ArabelaTso/Skills-4-SE/skills/code-instrumentation-generator .claude/skills/code-instrumentation-generator $ npx degit ArabelaTso/Skills-4-SE/skills/code-optimizer .claude/skills/code-optimizer $ npx degit ArabelaTso/Skills-4-SE/skills/code-pattern-extractor .claude/skills/code-pattern-extractor $ npx degit ArabelaTso/Skills-4-SE/skills/code-refactoring-assistant .claude/skills/code-refactoring-assistant $ npx degit ArabelaTso/Skills-4-SE/skills/code-repair-generation-combo .claude/skills/code-repair-generation-combo $ npx degit ArabelaTso/Skills-4-SE/skills/code-review-assistant .claude/skills/code-review-assistant $ npx degit ArabelaTso/Skills-4-SE/skills/code-search-assistant .claude/skills/code-search-assistant $ npx degit ArabelaTso/Skills-4-SE/skills/code-smell-detector .claude/skills/code-smell-detector $ npx degit ArabelaTso/Skills-4-SE/skills/code-summarizer .claude/skills/code-summarizer $ npx degit ArabelaTso/Skills-4-SE/skills/code-translation .claude/skills/code-translation $ npx degit ArabelaTso/Skills-4-SE/skills/component-boundary-identifier .claude/skills/component-boundary-identifier $ npx degit ArabelaTso/Skills-4-SE/skills/config-consistency-checker .claude/skills/config-consistency-checker $ npx degit ArabelaTso/Skills-4-SE/skills/configuration-generator .claude/skills/configuration-generator $ npx degit ArabelaTso/Skills-4-SE/skills/conflict-analyzer .claude/skills/conflict-analyzer $ npx degit ArabelaTso/Skills-4-SE/skills/containerization-assistant .claude/skills/containerization-assistant
This rig commits no guardrails. Here is the community baseline instead — the deny/ask rules most often found across all 7,204 rigs:
{
"permissions": {
"deny": [
"Read(./.env)",
"Read(**/.env)",
"Read(~/.ssh/**)",
"Bash(rm -rf *)",
"Read(**/*.pem)",
"Bash(rm -rf /)",
"Bash(git push --force:*)",
"Bash(sudo *)",
"Read(.env)",
"Bash(rm -rf /*)",
"Read(./.env.*)",
"Read(~/.aws/**)",
"Bash(git push --force*)",
"Bash(rm -rf:*)",
"Read(**/*.key)",
"Read(**/.env.*)",
"Bash(sudo:*)",
"Bash(git reset --hard*)",
"Bash(git reset --hard:*)",
"Read(.env.*)"
],
"ask": [
"Bash(git push:*)",
"Bash(git push *)",
"Bash(git commit:*)",
"Bash(rm *)",
"Bash(rm:*)",
"Bash(git rebase *)",
"Bash(wget *)",
"Bash(npm publish:*)",
"Bash(git commit *)",
"Bash(gh pr merge *)"
]
}
} Skills (150)
abstract-domain-explorerabstract-invariant-generatorabstract-state-analyzerabstract-trace-summarizeracsl-annotation-assistantagent-browserambiguity-detectorapi-design-assistantapi-documentation-generatorassertion-synthesizerbehavior-preservation-checkerbehavioral-mutation-analyzerbisect-aware-instrumentationbug-history-summarizerbug-localizationbug-reproduction-test-generatorbug-to-patch-generatorbuild-ci-migration-assistantc-cpp-to-lean4-translatorcd-pipeline-generatorchange-log-generatorci-pipeline-synthesizercode-change-summarizercode-comment-generatorcode-completion-semantic-constraintscode-instrumentation-generatorcode-optimizercode-pattern-extractorcode-refactoring-assistantcode-repair-generation-combocode-review-assistantcode-search-assistantcode-smell-detectorcode-summarizercode-translationcomponent-boundary-identifierconfig-consistency-checkerconfiguration-generatorconflict-analyzercontainerization-assistantcontrol-flow-abstraction-generatorcounterexample-debuggercounterexample-explainercounterexample-generatorcounterexample-to-test-generatorcoverage-enhancercpp-to-dafny-translatorcritical-interval-security-checkercve-reachability-analyzercve-watchlist-action-recommendation-generatordead-code-eliminatordead-code-removaldependency-resolverdeprecated-api-updaterdesign-pattern-suggestordesign-smell-detectordirected-test-input-generatoredge-case-generatorenvironment-setup-assistanterror-explanation-generatorexploitability-analyzerfailure-oriented-instrumentationflaky-test-detectorformal-spec-generatorframework-migration-assistantfrontend-ui-uxfunction-class-generatorfuzzing-input-generatorgit-bisect-assistantgit-mastergithub-triageimperative-to-coq-model-extractorincremental-java-programmerincremental-python-programmerinit-deepintegration-test-generatorinterface-contract-verifierinterface-specification-generatorinterval-difference-analyzerinterval-guided-regression-test-updateinterval-profiling-performance-analyzerinvariant-inferenceissue-report-generatorjava-api-consistency-validatorjava-regression-test-generatorjava-test-updaterlegacy-code-summarizerlemma-discovery-assistantlibrary-for-proof-advisorlinkedinlsp-refactoringmarkdown-document-structurermetamorphic-property-extractormetamorphic-test-generatormocking-test-generatormodel-guided-code-repairmodular-code-enforcementmodule-component-generatormodule-level-code-translatormulti-version-behavior-comparatormutation-test-suite-optimizernl-to-constraintsplaywright-automationprogram-correctness-proverprogram-to-model-extractorprogram-to-tlaplus-spec-generatorproof-carrying-code-generatorproof-failure-explainerproof-refactoring-assistantproof-skeleton-generatorproof-trace-summarizerpseudocode-extractorpseudocode-to-java-codepseudocode-to-python-codepython-api-consistency-validatorpython-regression-test-generatorpython-repo-quickstartpython-test-updaterpython-to-dafny-translatorpython-to-lean4-translatorreadme-generatorreference-searcherrefinement-step-generatorregression-consistency-checkerregression-root-cause-analyzerrelease-change-analyzerrelease-notes-writerreplay-oriented-instrumentationreproduction-trace-instrumenterreq-to-testrequirement-comparison-reporterrequirement-coverage-checkerrequirement-enhancerrequirement-summarizerrequirement-summaryrequirement-to-tlaplus-property-generatorrollback-strategy-advisorrtl-equivalence-checkerrtl-property-inferencertl-specification-consistency-checkerruntime-error-explainerscenario-generatorsecurity-patch-advisorsecurity-sensitive-path-instrumentersemantic-bug-detectorsemantic-equivalence-verifiersemantic-szz-analyzersession-handoffskill-creatorsmart-mutation-operator-generator
Similar rigs
code-yeongyu/oh-my-openagent
OmO: Just type "mass ulw" keyword with your prompt. Now you are the master of graph engineering.
Skill Collector 30.2k tok ·
anilcancakir/claude-code
Claude Code plugin that plans before it edits: interview-driven plans on disk, steps routed to haiku/sonnet/opus by cost, four-layer verification per wave, and a read-only gate for autonomous runs.
Pragmatist 2.9k tok ·
00quasr/actant.io
CLI agent configuration platform. Build, share, and export configurations for AI coding agents. Actant provides a visual builder for creating configuration files that AI coding agents read to understand your project. Instead of manually wr
Pragmatist 7.6k tok ·
countbot-ai/CountBot
更适配中文用户的轻量开源AI Agent | 国产大模型Coding plan支持 | 兼容OpenClaw Skills生态| 已接入微信ClawBot/微博龙虾/飞书/钉钉/QQ/小智AI/Telegram/deepseek-v4。
Skill Collector 542 tok ·