sdd-verify

Execute tests and static analysis to verify code changes against specifications.

1|Updated Apr 7, 2026
One-click install
npx skills add https://github.com/carlosamesar/framework-sdd --skill sdd-verify-carlosamesar
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: sdd-verify
Source: https://github.com/carlosamesar/framework-sdd/tree/main/.opencode/skills/sdd-verify
Command: npx skills add https://github.com/carlosamesar/framework-sdd --skill sdd-verify-carlosamesar

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes scripts (resource) and references (resource) and assets (resource) components.

What problem does it solve?

This Skill verifies that implementation matches specifications, design, and tasks through real execution evidence, ensuring software quality.

Core Features & Use Cases

  • Comprehensive Verification: Runs static analysis, executes tests, and validates coverage to confirm implementation correctness.
  • Behavioral Validation: Cross-references specs against test results to confirm scenarios are covered and behave as expected.
  • Use Case: Utilize this Skill when you need to certify that a code change fully complies with design and functional requirements, especially before deployment.

Quick Start

Trigger the verify process for your change, providing relevant artifacts and test results to generate a complete compliance report.

Frequently Asked Questions about sdd-verify

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I verify code changes against specifications before deployment?

Verify code changes against specifications by executing tests, running static analysis, and cross-referencing behavioral results with design requirements to generate a compliance report confirming implementation correctness before deployment.

What is end-to-end code verification and when do I need it?

End-to-end code validation is the process of confirming implementation matches design and functional requirements through real test execution evidence. You need it to certify code compliance and ensure software quality before releasing changes.

How do I check test coverage and spec compliance for a new code change?

Check test coverage and spec compliance by triggering a verification process that validates specifications, executes tests, and cross-references results to confirm all behavioral scenarios are covered and behave as expected.

Does static analysis alone prove implementation correctness for functional requirements?

Static analysis alone does not prove implementation correctness. Comprehensive verification requires validating specifications and executing real tests to gather behavioral evidence confirming the code aligns with design and functional requirements.

Can I validate behavioral scenarios against test results automatically?

You can validate behavioral scenarios automatically by cross-referencing test results against specifications to confirm that every scenario is covered and behaves as expected, producing a complete compliance report.

What artifacts do I need to generate a code compliance report?

To generate a code compliance report, provide relevant artifacts and test results to the verification process, which uses them alongside static analysis to validate specification alignment and confirm implementation correctness.