180+ task-oriented Claude Code skills across 8 packs covering the full software engineering lifecycle — bug fixing, testing, DevOps, formal verification, security.
Skills-4-SE is a curated collection of 180+ reusable skills organized into 8 packs: Bug Fixing, Code Quality, Test Automation, Requirements Engineering, Code Understanding, DevOps Automation, Formal Verification, and Security Scanner. Each skill documents inputs, outputs, failure modes, and eval criteria. Install packs individually or all at once.