property-based-testing
Use when a concrete property, generated input space, and oracle can expose unknown behavioral counterexamples.
Find an Agent Skill for your task. Read the guide and copy the install command.
Updated 10-22 00:14
12,478 results
Use when a concrete property, generated input space, and oracle can expose unknown behavioral counterexamples.
Calculate and debug Flexbox layout math for flex base size, flex-basis, flex-grow, flex-shrink, the flex shorthand, fractional grow values, and min/max…
Use before proposing fixes when facing bugs, test failures, or unexpected behavior.
Toolkit for interacting with and testing local web apps (Playwright): verify behavior, debug UI, capture screenshots/logs.
Generate options-only execution strategies (short straddle, iron condor). Backtest mode is intentionally disabled. Live mode uses optionsmultiorder + per-leg…
Integrates AFL++ coverage-guided fuzzing into CI/CD pipelines, covering harness construction, AFL++/AddressSanitizer/CmpLog instrumentation builds, and…
Automates browser interactions for web testing, form filling, screenshots, and data extraction. Use when the user needs to navigate websites, interact with web…
Use this when designing and auditing multiple modules, system-wide quality trade-offs, data authority, targets/transitions, and migration/recovery based on product value. Do not use it for local class improvements, selection of popular technologies, or extraction of a single contract.
Use this when converting natural-language requirements into preconditions, postconditions, invariants, failure guarantees, and condition-level assurance responsibility and contract tests. Do not use it for UI input validation only, adding general tests, or overall business implementation.
Larry's autonomous marketing experiments. Use when Larry wants to try new content, test hooks, track what works, and iterate independently. Covers X posting,…
Use when the user asks which existing accounts to work now, which leads are hottest in a grounded list or pipeline, how to rank a territory, book, pipeline,…
Master Bash Automated Testing System (Bats) for comprehensive shell script testing. Use when writing tests for shell scripts, CI/CD pipelines, or requiring…
Expertise in architecting, implementing, reviewing, and debugging hierarchical matching systems. Use when working with: (1) Two-sided matching (Gale-Shapley,…
Set up or repair Entrix guardrail specs in the current repository by discovering real quality signals, generating docs/fitness, and iterating with entrix…
Add a test requirement to the ***test reqs*** section of a ***plain spec file. Use when the user wants to specify conformance testing instructions like test…
PHP testing mastery - PHPUnit 11, Pest 3, TDD, mocking, and CI/CD integration
Interactive QA session where user reports bugs or issues conversationally, and the agent files GitHub issues. Explores the codebase in the background for…
Develop, test, build, and deploy Godot 4.x games. Includes GdUnit4 for GDScript unit tests and PlayGodot for game automation and E2E testing. Supports…
Guides developers and testers in writing, fixing, and structuring Locust load test scripts in Python. Use this skill whenever the user mentions Locust,…
Master end-to-end testing with Playwright and Cypress to build reliable test suites that catch bugs, improve confidence, and enable fast deployment. Use when…
Test API integrations by mocking responses, intercepting requests, and monitoring network traffic. Use when the user wants to mock backend APIs, simulate…
@DataJpaTest requires TestEntityManager + flush()/clear() before assertions — without this, tests read from Hibernate L1 cache and pass falsely. Read before…
Expert setup assistant for the Stably Playwright SDK. Use this skill when installing Stably SDK in a new project, migrating from @playwright/test, or…
Automates browser interactions for web testing, form filling, screenshots, and data extraction. Use when the user needs to navigate websites, interact with web…