discover-formal
Automatically discover formal methods and verification skills when working with formal methods. Activates for formal development tasks.
Discover devops cicd skills, compare source repositories and read the instructions for each workflow.
Automatically discover formal methods and verification skills when working with formal methods. Activates for formal development tasks.
Automatically discover CI/CD and automation skills when working with CI/CD. Activates for cicd development tasks.
Automatically discover software engineering practice skills when working with engineering practices. Activates for engineering development tasks.
Automatically discover cloud computing and serverless skills when working with cloud. Activates for cloud development tasks.
Automatically discover observability and monitoring skills when working with monitoring. Activates for observability development tasks.
Automatically discover testing skills when working with testing. Activates for testing development tasks.
Automatically discover build system skills when working with build systems. Activates for build-systems development tasks.
Automatically discover infrastructure and DevOps skills when working with infrastructure. Activates for infrastructure development tasks.
Automatically discover deployment and release skills when working with deployment. Activates for deployment development tasks.
Automatically discover container and Docker skills when working with Docker. Activates for containers development tasks.
Automatically discover debugging and profiling skills when working with debugging. Activates for debugging development tasks.
Manage git worktrees with PR workflow and multi-agent review (Claude + Codex). Use when developing features in isolation with easy rollback.
Full orchestration workflow with Smart Memory-Driven context (v2.47), RLM-inspired routing (v2.46), and quality gates: clarify, smart memory search, classify 3D, plan, delegate, execute with parallel memory, va...
Multi-perspective quality review gate with architect, security, quality, tester, and performance stakeholders
This skill should be used when the user mentions "gh CLI", "gh command", asks to "view repository info", "trigger workflows", "search GitHub", "manage codespaces", "check PR status", "list issues", or asks abou...
Security audits, vulnerability detection, and secure coding. Use for security reviews, auth implementation, or OWASP compliance.
Improve developer experience, tooling, and workflows. Use when setting up projects or reducing development friction.
Develop React Native or Flutter apps with native integrations. Use for mobile development, cross-platform code, or app optimization.
Configure CI/CD, Docker, and cloud deployments. Use for deployment setup, containers, or infrastructure automation.
Design AWS/Azure/GCP infrastructure, implement IaC, and optimize costs. Use for cloud architecture, cost optimization, or migration.
Completes feature/epic workflows after deployment with comprehensive walkthrough generation for epics (v5.0+), roadmap updates, artifact archival, documentation, and branch cleanup. Use after /ship-prod, /deplo...
Detect and prevent hallucinated technical decisions during feature work. Auto-trigger when suggesting technologies, frameworks, APIs, database schemas, or external services. Validates all tech decisions against...
Executes implementation tasks using Test-Driven Development, prevents code duplication through anti-duplication checks, and maintains quality through continuous testing. Use when implementing features from task...
Deploys features to staging environment with database migrations, health checks, and deployment verification. Use during /ship-staging phase or when deploying to staging environments for validation before produ...
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.