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.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.