Use this skill when applying VCSDD to Rust projects. Provides Kani proof harness patterns, proptest strategies, cargo-fuzz integration, and cargo-mutants mutation testing guidance.
インストール方法を見るインストールする前に、エージェントに与えられる指示の中身を確認できます。
| Tier | Tool | Install | Use Case |
|---|---|---|---|
| 1 | proptest | cargo add proptest --dev | Property-based testing |
| 1 | cargo-fuzz | cargo install cargo-fuzz | Coverage-guided fuzzing |
| 1 | cargo-mutants | cargo install cargo-mutants | Mutation testing |
| 2-3 | kani | cargo install kani-verifier | Bounded model checking |
// In src/parser.rs or separate verification/proof-harnesses/parser.rs
#[cfg(kani)]
mod kani_proofs {
use super::*;
#[kani::proof]
fn verify_empty_input_returns_error() {
let result = parse("");
assert_eq!(result, Err(ParseError::Empty));
}
#[kani::proof]
#[kani::unwind(5)]
fn verify_parse_never_panics() {
let input: String = kani::any();
kani::assume(input.len() < 20);
// Should return Ok or Err, never panic
let _ = parse(&input);
}
}
Run: cargo kani
use proptest::prelude::*;
proptest! {
#[test]
fn test_parse_roundtrip(s in "[a-z]{1,20}") {
if let Ok(parsed) = parse(&s) {
assert_eq!(serialize(parsed), s);
}
}
#[test]
fn test_parse_does_not_panic(s in any::<String>()) {
let _ = parse(&s);
}
}
cargo fuzz init
cargo fuzz add fuzz_parse
# Edit fuzz/fuzz_targets/fuzz_parse.rs:
# use libfuzzer_sys::fuzz_target;
# fuzz_target!(|data: &[u8]| {
# if let Ok(s) = std::str::from_utf8(data) {
# let _ = parse(s);
# }
# });
cargo fuzz run fuzz_parse -- -max_total_time=60
cargo mutants --timeout 30
# Results in mutants.out/
まだレビューはありません。使ってみた感想をお寄せください。
概要と使いどころ
Use this skill when running or interpreting VCSDD adversarial reviews. Provides calibration guidance for the Adversary agent, finding severity classification, and anti-leniency enforcement patterns.
日本語の概要は準備中です。原文の説明を表示しています。
Run Phase 3 (adversarial review) for the active VCSDD feature. Spawns a fresh vcsdd-adversary agent with zero Builder context to review implementation against spec. Produces binary PASS/FAIL verdict per dimension.
日本語の概要は準備中です。原文の説明を表示しています。
Create a git commit for the current VCSDD phase. Auto-generates a conventional commit message from state.json including phase, sprint, gate verdict, and affected bead IDs. Tags with vcsdd/<feature>/phase-<id>.
日本語の概要は準備中です。原文の説明を表示しています。
Run the strict-mode sprint contract review after Phase 2c. Spawns a fresh vcsdd-adversary instance to review `contracts/sprint-N.md` and writes a PASS/FAIL verdict under `reviews/contracts/sprint-N/output/`.
日本語の概要は準備中です。原文の説明を表示しています。
Run Phase 6 (convergence check) for the active VCSDD feature. Validates four-dimensional convergence: finding diminishment, finding specificity, criteria coverage, and duplicate detection.
日本語の概要は準備中です。原文の説明を表示しています。
Use this skill during Phase 6 convergence checks. Provides four-dimensional convergence analysis, hallucination detection, and duplicate finding identification.
日本語の概要は準備中です。原文の説明を表示しています。