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.
The English summary is being prepared. Showing the original description.
See how to installReview the instructions the agent will receive before you install.
| 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/
No reviews yet. Tell others what you thought.
No login needed. Share how it worked for you, ask a question, or note where it did not run.
No comments yet. Be the first to write one.
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.
The English summary is being prepared. Showing the original description.
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.
The English summary is being prepared. Showing the original description.
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>.
The English summary is being prepared. Showing the original description.
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/`.
The English summary is being prepared. Showing the original description.
Run Phase 6 (convergence check) for the active VCSDD feature. Validates four-dimensional convergence: finding diminishment, finding specificity, criteria coverage, and duplicate detection.
The English summary is being prepared. Showing the original description.
Use this skill during Phase 6 convergence checks. Provides four-dimensional convergence analysis, hallucination detection, and duplicate finding identification.
The English summary is being prepared. Showing the original description.