sdd-verify

Execute tests and static analysis to verify software implementations against specifications.

Updated Mar 15, 2026

Search Tags:#testing #quality assurance #validation #verification #spec comparison

Ready to run

npx skills add https://github.com/julcasans/atl-lab --skill sdd-verify-julcasans

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: sdd-verify
Source: https://github.com/julcasans/atl-lab/tree/main/.github/skills/sdd-verify
Command: npx skills add https://github.com/julcasans/atl-lab --skill sdd-verify-julcasans

SYSTEM DOCUMENTATION & REQUIREMENTS

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

What problem does it solve?

This Skill provides a structured method to verify that software implementation aligns with specifications, design, and tasks by executing code and validating behavior.

Core Features & Use Cases

Verification of Completeness: Checks if all tasks are completed and up-to-date.
Static Analysis of Specs: Ensures code evidence matches requirements and scenarios.
Behavioral Testing: Executes tests to confirm runtime behavior aligns with specifications.
Use Case: Use this Skill to systematically validate a code change, ensuring it meets all specified requirements before deployment.

Quick Start

Launch the verification process on your project to validate code completeness and correctness.

Frequently Asked Questions about sdd-verify

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

FAQPage Schema

How do I verify that my code implementation aligns with project specifications?▼

To verify implementation correctness, the Skill executes tests, analyzes specs statically, and validates design decisions to ensure code evidence matches requirements and runtime behavior aligns with specifications. It provides end-to-end verification across development environments.

What is the best way to check if all development tasks are completed and up-to-date?▼

Verification of completeness systematically checks if all tasks are completed and up-to-date by validating code changes against specifications. It ensures code evidence matches requirements and scenarios before formal validation proceeds.

Can I use this for static analysis of specs in Python and JavaScript projects?▼

Yes, it uses Python, JavaScript, or other language-specific tools for static and dynamic analysis. Static analysis of specs ensures code evidence matches requirements and scenarios across your development environments.

How do I perform behavioral testing to confirm runtime behavior matches specifications?▼

Behavioral testing executes tests to confirm runtime behavior aligns with specifications. By running code and validating behavior, it systematically validates that a code change meets all specified requirements during end-to-end verification.

Does spec comparison require any specific dependencies or environments?▼

No dependencies are required. Spec comparison and end-to-end verification are suitable for quality assurance tasks in software projects requiring formal validation aligned with specifications and architecture across standard development environments.

When do I need formal validation aligned with software architecture?▼

Formal validation aligned with architecture is needed when systematically validating a code change before deployment. It ensures implementation correctness through comprehensive verification of completeness, static spec analysis, and behavioral testing.