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.
qa-property-based プラグインのインストール方法
両方のコマンドを Claude Code 内で実行してください。最初のコマンドで marketplace を一度追加し、2 番目のコマンドでプラグインをインストールします。
/plugin marketplace add testland/qa
/plugin install qa-property-based@testland-qaqa-property-based の内容
プラグイン自身のファイルから読み込まれた 6 個のパーツ です。
Agent 2
@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.
SKILL 4
タスクが一致したときに Claude が読み込みます- fast-check-testing
ファイルに説明がありません。
- hypothesis-testing
ファイルに説明がありません。
- jqwik-testing
ファイルに説明がありません。
- proptest-testing
ファイルに説明がありません。
Claude Code での qa-property-based の使用方法
Agent を名前で指定してください:
@agent-qa-property-based:property-based-test-author
@agent-qa-property-based:vacuous-property-criticSKILL にコマンドは不要です。リクエストが説明と一致したときに Claude が読み込みます。
更新、オフ、または削除
- プラグインを更新 (shell)
- claude plugin update qa-property-based@testland-qa
- marketplace を更新
- /plugin marketplace update testland-qa
- 一時的にオフにする
- /plugin disable qa-property-based@testland-qa
- 削除する
- /plugin uninstall qa-property-based@testland-qa
qa-property-based プラグインに関する質問
qa-property-based プラグインをインストールするにはどうすればよいですか。
Claude Code で /plugin marketplace add testland/qa を実行し、続いて /plugin install qa-property-based@testland-qa を実行します。
qa-property-based プラグインには何が含まれていますか。
qa-property-based には 2 件のエージェント, 4 件のスキル が含まれています。
qa-property-based にはどの Agent が含まれていますか？
property-based-test-author, vacuous-property-critic です。@agent-qa-property-based:property-based-test-author で呼び出せます。
qa-property-based プラグインを更新または削除するにはどうすればよいですか？
shell で claude plugin update qa-property-based@testland-qa を使用して更新するか、/plugin の Installed タブから行ってください。削除するには /plugin uninstall qa-property-based@testland-qa を使用してください。
qa-property-based プラグインのライセンスは何ですか？
プラグインのマニフェストに記載されている MIT です。