Proves
Proves unitàries, d’integració i automatitzades
integrating-sdk-and-msbuild
dotnet
'Guides work on the SDK-MSBuild integration boundary. Consult when authoring or modifying SDK targets, working on dotnet CLI to MSBuild invocation, handling project-reference protocol, coordinating cross-repo changes with dotnet/sdk, debugging property resolution or import ordering, working on restore/build/publish/pack target chains, or dealing with Directory.Build.props/targets interaction.'
agent-team-review
damianpapadopoulos
Multi-perspective parallel code review with specialist reviewers for security, quality, and spec compliance.
applying-swiss-design
bnadlerjr
Applies Swiss/International Typographic Style principles to create clear, functional output. Use when designing interfaces, data visualizations, documentation, CLI output, or any output where clarity matters. Recognizes requests like "make it cleaner", "reduce clutter", "too busy", "improve readability", "visual hierarchy", "simplify the layout".
speccy
slamb2k
Deep-dive interview skill for creating comprehensive specifications. Reviews existing code and docs, then interviews the user through multiple rounds of targeted questions covering technical implementation, UI/UX, concerns, and tradeoffs. Produces a structured spec via create-specification. Use when starting a new feature, system, or major change that needs a spec.
behavioral-mutation-analyzer
ArabelaTso
Analyzes surviving mutants from mutation testing to identify why tests failed to detect them. Takes repository code, test suite, and mutation testing results as input. Identifies root causes including insufficient coverage, equivalent mutants, weak assertions, and missed edge cases. Automatically generates actionable test improvements and new test cases. Use when analyzing mutation testing results, improving test suite effectiveness, investigating low mutation scores, generating tests to kill surviving mutants, or enhancing test quality based on mutation analysis.
c-cpp-to-lean4-translator
ArabelaTso
Translate C or C++ programs into equivalent Lean4 code, preserving program semantics and ensuring the generated code is well-typed, executable, and can run successfully. Use when the user asks to convert C/C++ code to Lean4, port C/C++ programs to Lean4, translate imperative code to functional Lean4, or create Lean4 versions of C/C++ algorithms.
ci-pipeline-synthesizer
ArabelaTso
Generate GitHub Actions CI/CD pipeline configurations for automated building and testing of library and package projects. Use when creating or updating CI workflows for npm packages, Python packages, Go modules, Rust crates, or other library projects that need automated build and test pipelines. Includes templates for common package ecosystems with best practices for dependency caching, matrix testing, and artifact publishing.
symfony:e2e-panther-playwright
MakFly
Drive Symfony delivery with deterministic tests and strong regression protection. Use for e2e panther playwright tasks.
symfony:form-types-validation
MakFly
Strengthen Symfony authorization and validation boundaries with explicit, test-backed enforcement. Use for form types validation tasks.
symfony:tdd-with-pest
MakFly
Drive Symfony delivery with deterministic tests and strong regression protection. Use for tdd with pest tasks.
symfony:tdd-with-phpunit
MakFly
Drive Symfony delivery with deterministic tests and strong regression protection. Use for tdd with phpunit tasks.
browser-use-agentcore
tsaol
AWS AgentCore Browser skill for automated web testing and screenshot capture. Use this skill when the user asks to: - Test if a website works / 测试网站是否正常 - Take a screenshot of a webpage / 截取网页截图 - Check for JavaScript errors or console errors - Verify API health endpoints - Open a URL in a cloud browser - Debug website loading issues This skill uses AWS Bedrock AgentCore Browser (cloud-based, no local browser needed).
git-review
tsaol
Review code changes against requirements and original design. Validates implementation correctness, design alignment, code quality, and runs tests. Use before committing or creating a PR.
data-client-vue-testing
reactive
Test @data-client/vue composables and components - renderDataCompose, mountDataClient, fixtures, jest, nock, Vue 3 reactive props, useSuspense testing
SKILL.md
owasp-dep-scan
For WASM parsing changes, verify both normalized fields (imports, dynamic_entries, functions) and raw passthrough fields (wasm_report, wasm_analysis).
rust-tests-guidelines
RediSearch
Guidelines for writing Rust tests. Use this when you want to write Rust tests.
valid-skill
pproenca
A valid test skill with proper formatting. This skill should pass all validations and serves as a reference for the expected format.
check-rust-coverage
RediSearch
Check which Rust lines are not covered by Rust tests. Use this when you developed new Rust code and want to ensure it is tested.
spring-boot-cache
giuseppe-trisciuoglio
Provides patterns for enabling and operating the Spring Cache abstraction in Spring Boot. Use when implementing application-level caching for performance-sensitive workloads.
eval-harness
Ashfaqbs
Formal evaluation framework for Claude Code sessions implementing eval-driven development (EDD) principles
symfony:symfony-voters
MakFly
Strengthen Symfony authorization and validation boundaries with explicit, test-backed enforcement. Use for symfony voters tasks.
writing-plans
revokslab
Use when you have a spec or requirements for a multi-step task, before touching code
spec-kit-skill
feiskyer
'GitHub Spec-Kit integration for constitution-based spec-driven development. 7-phase workflow. Triggers: "spec-kit", "speckit", "constitution", "specify", ".specify/", "规格驱动开发", "需求规格".'
symfony:test-doubles-mocking
MakFly
Drive Symfony delivery with deterministic tests and strong regression protection. Use for test doubles mocking tasks.