Execute code to verify implementations against specs, design, and tasks.
npx skills add https://github.com/KilloconQ/dotfiles --skill sdd-verify-killoconq
Please help me install this Agent Skill. Skill: sdd-verify Source: https://github.com/KilloconQ/dotfiles/tree/main/opencode/.config/opencode/skills/sdd-verify Command: npx skills add https://github.com/KilloconQ/dotfiles --skill sdd-verify-killoconq
Validate that implementations match specs, design, and tasks by executing the code to produce real-world evidence of correctness, rather than relying on static analysis alone.
Run the verification workflow on a completed or partial change to generate a verifiable report.
High-intent search queries and answers about installing and using this skill.
To verify code compliance against formal specs, you execute the implementation to collect real-world evidence of correctness rather than relying on static analysis. This process evaluates alignment with design decisions, specs, and task lists to demonstrate behavioral compliance.
Spec-compliance verification is the process of validating that an implementation satisfies specified design and task requirements. You need live execution checks when static analysis is insufficient and you must produce real-world evidence of correctness for formal specs.
You generate a verification report by executing the code on a completed or partial change and collecting artifact-driven evidence. The system produces a structured verify-report according to the active artifact_store mode and persistence rules.
Spec-compliance verification works for both partial and completed code changes. You can run the verification workflow on any stage of implementation to evaluate alignment with design decisions, specs, and task lists through live execution and artifact generation.
Live execution is used for spec verification to produce real-world evidence of correctness and behavioral compliance. Static analysis alone cannot demonstrate completion or validate that implementations match specs and design decisions through actual runtime behavior.
Before running spec-compliance verification, you need to locate project dependencies and follow persistence rules. The workflow requires formal specs, design decisions, and task lists to execute the code and generate a structured verify-report under the configured mode.
jerome-benoitParse delta specs and generate a verification report with prioritized issues.
ruan-catVerify an implementation aligns with OpenSpec delta artifacts before archiving.
Kcalb0708Run spec compliance, linting, type-checking, and testing checks on codebases.
rsmdtValidate implementations against documented specifications with structured compliance reporting.
