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.
Cara install plugin qa-property-based
Jalankan kedua perintah di dalam Claude Code. Perintah pertama menambahkan marketplace sekali; perintah kedua meng-install plugin.
/plugin marketplace add testland/qa
/plugin install qa-property-based@testland-qaApa yang ada di dalam qa-property-based
6 bagian dibaca dari file asli plugin tersebut.
Agents 2
Panggil sebagai @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 memuatnya saat tugas sesuai- fast-check-testing
Tidak ada deskripsi di dalam file.
- hypothesis-testing
Tidak ada deskripsi di dalam file.
- jqwik-testing
Tidak ada deskripsi di dalam file.
- proptest-testing
Tidak ada deskripsi di dalam file.
Menggunakan qa-property-based di Claude Code
Minta agent berdasarkan nama:
@agent-qa-property-based:property-based-test-author
@agent-qa-property-based:vacuous-property-criticSKILL tidak memerlukan command. Claude membacanya saat permintaan Anda sesuai dengan deskripsinya.
Update, matikan, atau hapus
- Update plugin (shell)
- claude plugin update qa-property-based@testland-qa
- Refresh marketplace
- /plugin marketplace update testland-qa
- Matikan untuk sementara
- /plugin disable qa-property-based@testland-qa
- Hapus
- /plugin uninstall qa-property-based@testland-qa
Pertanyaan tentang plugin qa-property-based
Bagaimana cara install plugin qa-property-based?
Di Claude Code, jalankan /plugin marketplace add testland/qa, lalu /plugin install qa-property-based@testland-qa.
Apa saja yang disertakan plugin qa-property-based?
qa-property-based membundel 2 agent, 4 skill.
Agent apa saja yang disertakan dalam qa-property-based?
property-based-test-author, vacuous-property-critic. Panggil salah satunya dengan @agent-qa-property-based:property-based-test-author.
Bagaimana cara update atau menghapus plugin qa-property-based?
Update dengan claude plugin update qa-property-based@testland-qa di shell Anda, atau dari tab Installed di /plugin. Hapus dengan /plugin uninstall qa-property-based@testland-qa.
Apa lisensi untuk plugin qa-property-based?
MIT, sebagaimana dinyatakan dalam manifest plugin.