Testing
Unit tests, integration tests, test automation
qedgen
by QEDGen
Formally verify programs by writing Lean 4 proofs. Trigger this skill whenever the user wants to formally verify code, generate Lean 4 proofs, prove properties about algorithms or smart contracts, verify invariants, convert program logic into formal specifications, or anything involving Lean 4 and formal verification. Also trigger when the user mentions "qedgen", "lean proof", "formal proof", "verify my code", "prove correctness", "formal verification", or wants mathematical guarantees about their implementation.
iguana-strategy
by Senpi-ai
IGUANA v1.0.0 — XYZ Macro Index Trend. Trend-follows the broad XYZ indices xyz:SP500 + xyz:XYZ100. No stock-picking, no commodities — just the broad indices, in whichever direction has the stronger 4-day move. The simplest possible XYZ exposure, closest thing to an index-fund equivalent (but 24/7 on Hyperliquid). Onboarding tier. Balanced DSL + 48h hard_timeout for weekend pricing-gap risk.
meerkat-strategy
by Senpi-ai
MEERKAT v1.0.0 — Momentum-Event Sniper. Watches the Senpi momentum-event feed (leaderboard_get_momentum_events — the 4h rolling-window momentum / rank-jump events) and snipes the freshest, highest-tier events the moment they fire, entering in the momentum direction before the move is broadly known. Tier (event magnitude) + freshness gate the entry; SM alignment + rising volume are confirmation bonuses. Distinct from the Striker / rank-jump agents (Jaguar/Orca/Roach) which score a leaderboard universe. Let-winners-run DSL with a short hard_timeout.
chameleon-strategy
by Senpi-ai
CHAMELEON v1.0.0 — Relative-Value / Pairs (ratio mean-reversion). When the price ratio between two correlated assets extends far from its recent mean (high z-score ), it tends to revert. Chameleon trades the reversion via a directional bet on the high-beta leg (the runtime is single-position, so not a two-leg spread). Pairs: ETH/BTC (trade ETH), SOL/ETH (trade SOL), SOL/BTC (trade SOL). Mean-reversion DSL — tight "bank the snapback" ladder, 48h hard_timeout, weak_peak_cut.
bdd-with-approvals
by lexler
Scannable BDD tests written in domain language. Use when doing BDD.
nullables
by lexler
Writes tests without mocks using Nullables. Use when writing tests, especially testing code with external I/O (HTTP, files, databases, clocks, random numbers), designing infrastructure wrappers or replacing mocking libraries.
k8s-yaml-generator
by akin-ozer
Comprehensive toolkit for generating, validating, and managing Kubernetes YAML resources. Use this skill when creating Kubernetes manifests (Deployments, Services, ConfigMaps, StatefulSets, etc.), working with Custom Resource Definitions (CRDs), or generating production-ready K8s configurations.
makefile-generator
by akin-ozer
Comprehensive toolkit for generating best practice Makefiles following current standards and conventions. Use this skill when creating new Makefiles, implementing build automation, or building production-ready build systems.
refactoring
by lexler
Refactoring process. Invoke immediately when user or document mentions refactoring, or proactively when code gets too complex or messy.
tdd
by lexler
Test-driven development (TDD) process used when writing code. Use whenever you are adding any new code, unless the user explicitly asks to skip TDD or the code is exploratory/spike.
hexagonal-architecture
by lexler
Applies hexagonal (ports & adapters) architecture. Use when designing application structure, separating domain from infrastructure, creating testable boundaries, or when user mentions ports, adapters, hexagonal, or clean architecture.
oneshot
by Melvynx
Ultra-fast feature implementation using Explore → Code → Test workflow. Use when implementing focused features, single tasks, or when speed over completeness is priority.
ultrathink
by Melvynx
Deep thinking mode - approach problems like a craftsman, obsess over details, and create elegant solutions
test-driven-development
by bobmatnyc
Comprehensive TDD patterns and practices for all programming languages, eliminating redundant testing guidance per agent.
software-patterns
by bobmatnyc
Decision framework for architectural patterns including DI, SOA, Repository, Domain Events, Circuit Breaker, and Anti-Corruption Layer. Use when designing systems, choosing patterns, or reviewing architecture.
select
by tkersey
"Swarm-ready work selector: choose one source (invocation list, SLICES.md, or plan-N.md), refine it into dependency-aware atomic tasks, and emit an OrchPlan (waves + delegation) plus optional pipelines. Use for prompts like $select, use $select, pick the next ready slice, orchestrate workers from SLICES, or what should run in parallel next. Plan-only; no writeback; orchestration-agnostic."
hud-first
by kylesnowschwartz
This skill SHOULD be used when the user asks to "build an AI assistant", "create a chatbot", "make an agent that does X for me", "design a copilot feature", "automate this workflow with AI", or requests delegation-style AI features. Offers a reframe from copilot patterns (conversation, delegation) to HUD patterns (ambient awareness, perception augmentation).
aws-sdk-java-v2-secrets-manager
by giuseppe-trisciuoglio
Provides AWS Secrets Manager patterns using AWS SDK for Java 2.x. Use when storing/retrieving secrets (passwords, API keys, tokens), rotating secrets automatically, managing database credentials, or integrating secret management into Spring Boot applications.
aws-sdk-java-v2-dynamodb
by giuseppe-trisciuoglio
Provides Amazon DynamoDB patterns using AWS SDK for Java 2.x. Use when creating, querying, scanning, or performing CRUD operations on DynamoDB tables, working with indexes, batch operations, transactions, or integrating with Spring Boot applications.
aws-sdk-java-v2-messaging
by giuseppe-trisciuoglio
Provides AWS messaging patterns using AWS SDK for Java 2.x for SQS queues and SNS topics. Handles sending/receiving messages, FIFO queues, DLQ, subscriptions, and pub/sub patterns. Use when implementing messaging with SQS or SNS.
spring-boot-dependency-injection
by giuseppe-trisciuoglio
Provides dependency injection patterns for Spring Boot projects covering constructor-first patterns, optional collaborator handling, bean selection, and validation practices. Use when configuring beans, wiring dependencies, or troubleshooting injection issues.
Testing Anti-Patterns
by bobmatnyc
Never test mock behavior. Never add test-only methods to production classes. Understand dependencies before mocking. Language-agnostic principles with TypeScript/Jest and Python/pytest examples.
time-series-analysis
by nimrodfisher
Temporal pattern detection and forecasting. Use when analyzing trends over time, detecting seasonality, identifying anomalies in time series, or building simple forecasting models.
symfony:tdd-with-phpunit
by MakFly
Drive Symfony delivery with deterministic tests and strong regression protection. Use for tdd with phpunit tasks.