qa-property-based plugin
Property-based testing with Hypothesis (Python), fast-check (JS/TS), proptest (Rust) and jqwik (JVM): generators, shrinking, and CI integration. Agents (property-based-test-author, vacuous-property-critic) write one property per invariant and flag assume-heavy or always-true properties.
How to install the qa-property-based plugin
Run both commands inside Claude Code. The first adds the marketplace once; the second installs the plugin.
/plugin marketplace add testland/qa
/plugin install qa-property-based@testland-qaWhat's inside qa-property-based
6 parts read from the plugin's own files.
Agents 2
Call as @agent-qa-property-based:name- @agent-qa-property-based:property-based-test-authorinherit
Use proactively whenever a stated invariant (roundtrip, idempotence, conservation, ordering) should become a property-based test. Picks fast-check, Hypothesis, jqwik or proptest by language and writes the property with generators the framework can shrink.
- @agent-qa-property-based:vacuous-property-criticsonnet
Use proactively whenever fast-check or Hypothesis property tests are added, or one passes in CI but never finds a counterexample. Flags preconditions that discard most inputs, properties with no real assertion, generators too narrow for the invariant and assertions that restate the code.
Skills 4
Claude loads it when the task matches- fast-check-testing
No description in the file.
- hypothesis-testing
No description in the file.
- jqwik-testing
No description in the file.
- proptest-testing
No description in the file.
Using qa-property-based in Claude Code
Ask for an agent by name:
@agent-qa-property-based:property-based-test-author
@agent-qa-property-based:vacuous-property-criticSkills need no command. Claude reads them when your request matches what they describe.
Update, turn off or remove
- Update the plugin (shell)
- claude plugin update qa-property-based@testland-qa
- Refresh the marketplace
- /plugin marketplace update testland-qa
- Turn it off for now
- /plugin disable qa-property-based@testland-qa
- Remove it
- /plugin uninstall qa-property-based@testland-qa
qa-property-based plugin questions
How do I install the qa-property-based plugin?
In Claude Code run /plugin marketplace add testland/qa, then /plugin install qa-property-based@testland-qa.
What does the qa-property-based plugin include?
qa-property-based bundles 2 agents, 4 skills.
Which agents come with qa-property-based?
property-based-test-author, vacuous-property-critic. Call one with @agent-qa-property-based:property-based-test-author.
How do I update or remove the qa-property-based plugin?
Update it with claude plugin update qa-property-based@testland-qa in your shell, or from the Installed tab of /plugin. Remove it with /plugin uninstall qa-property-based@testland-qa.
What license is the qa-property-based plugin under?
MIT, as stated in the plugin's manifest.