Plugin qa-property-based
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.
Comment installer le plugin qa-property-based
Exécutez les deux commandes dans Claude Code. La première ajoute la marketplace une seule fois ; la seconde installe le plugin.
/plugin marketplace add testland/qa
/plugin install qa-property-based@testland-qaContenu de qa-property-based
6 parties lues depuis les fichiers du plugin.
Agents 2
Appeler via @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 le charge quand la tâche correspond- fast-check-testing
Aucune description dans le fichier.
- hypothesis-testing
Aucune description dans le fichier.
- jqwik-testing
Aucune description dans le fichier.
- proptest-testing
Aucune description dans le fichier.
Utiliser qa-property-based dans Claude Code
Demandez un agent par son nom :
@agent-qa-property-based:property-based-test-author
@agent-qa-property-based:vacuous-property-criticLes Skills ne nécessitent pas de commande. Claude les lit quand votre requête correspond à leur description.
Mettre à jour, désactiver ou supprimer
- Mettre à jour le plugin (shell)
- claude plugin update qa-property-based@testland-qa
- Actualiser le marketplace
- /plugin marketplace update testland-qa
- Le désactiver pour le moment
- /plugin disable qa-property-based@testland-qa
- Le supprimer
- /plugin uninstall qa-property-based@testland-qa
Questions sur le plugin qa-property-based
Comment installer le plugin qa-property-based ?
Dans Claude Code, exécutez /plugin marketplace add testland/qa, puis /plugin install qa-property-based@testland-qa.
Que contient le plugin qa-property-based ?
qa-property-based regroupe 2 agents, 4 skills.
Quels agents sont inclus avec qa-property-based ?
property-based-test-author, vacuous-property-critic. Appelez-en un avec @agent-qa-property-based:property-based-test-author.
Comment mettre à jour ou supprimer le plugin qa-property-based ?
Mettez-le à jour avec claude plugin update qa-property-based@testland-qa dans votre shell, ou depuis l'onglet Installed de /plugin. Supprimez-le avec /plugin uninstall qa-property-based@testland-qa.
Sous quelle licence est le plugin qa-property-based ?
MIT, comme indiqué dans le manifeste du plugin.