Initialize a VCSDD feature pipeline. Creates the .vcsdd/features/<name>/ directory tree, sets mode (strict|lean), and activates the feature. Must be run before any other VCSDD command.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
54건 · 관련도순
Initialize a VCSDD feature pipeline. Creates the .vcsdd/features/<name>/ directory tree, sets mode (strict|lean), and activates the feature. Must be run before any other VCSDD command.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Run Phase 5 (formal hardening) for the active VCSDD feature. Invokes vcsdd-verifier to execute proof obligations, security hardening, and a purity-boundary audit before convergence.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Run Phase 1c (spec review gate) for the active VCSDD feature. Spawns a fresh vcsdd-adversary instance to review the behavioral spec and verification architecture. Records PASS/FAIL gate verdict.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Run Phase 2a (test generation, Red phase) for the active VCSDD feature. Invokes vcsdd-builder to generate failing tests for all spec requirements. Records red phase evidence.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
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.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use this skill when applying VCSDD to Python projects. Provides hypothesis property testing patterns, mutmut mutation testing, and pytest integration for the VCSDD pipeline.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use this skill when applying VCSDD to TypeScript/JavaScript projects. Provides fast-check property testing patterns, Stryker mutation testing, and vitest/jest integration for the VCSDD pipeline.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Run Phase 2b (implementation, Green phase) and Phase 2c (refactor) for the active VCSDD feature. Invokes vcsdd-builder to implement minimal code to pass failing tests, then refactor.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
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 Phase 1a (behavioral specification) and Phase 1b (verification architecture) for the active VCSDD feature. Invokes vcsdd-builder to write EARS-format requirements and purity boundary analysis.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
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.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
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.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use this skill when writing sprint contracts in VCSDD strict mode. Provides grading criteria patterns, dimension weight guidelines, and pass threshold formulation for the 5 review dimensions.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Display the full traceability chain for a VCSDD bead. Traverses the Chainlink graph from the given bead ID and shows all connected artifacts with status.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use this skill when creating or querying VCSDD Chainlink bead traceability. Provides bead creation patterns, chain traversal, and completeness validation.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use this skill when evaluating VCSDD grading dimensions during adversarial review. Provides concrete evaluation checklists for each of the 5 dimensions and convergence signal detection.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use this skill when writing Phase 1a behavioral specifications in VCSDD. Provides EARS format requirements writing, purity boundary analysis, edge case enumeration, and spec quality validation patterns.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use this skill when committing VCSDD pipeline artifacts to git. Provides conventional commit message format, phase tag patterns, and atomic staging strategies.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Display the current VCSDD pipeline status for the active (or specified) feature. Shows phase, mode, sprint count, open findings, pending proofs, and the traceability summary.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Run Phase 6 (convergence check) for the active VCSDD feature. Validates four-dimensional convergence: finding diminishment, finding specificity, criteria coverage, and duplicate detection.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
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/`.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Helps configure persistent storage for GKE applications, including disk selection, storage requests, shared files through Filestore, and volume expansion. It also explains how disk compatibility and zone placement affect workload scheduling.
한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.
模拟 CentOS Linux 7 终端行为(含 Synopsys VCS/UVM 环境),仅输出代码块结果,不进行解释。
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use this skill during Phase 5 formal hardening. Provides tool selection, proof harness patterns, security/purity audit expectations, and verification result interpretation for Rust (Kani), Python (hypothesis), and TypeScript (fast-check).
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.