Execute tests and static analysis to verify software implementations against specifications.
npx skills add https://github.com/julcasans/atl-lab --skill sdd-verify-julcasans
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
This Skill provides a structured method to verify that software implementation aligns with specifications, design, and tasks by executing code and validating behavior.
Launch the verification process on your project to validate code completeness and correctness.
High-intent search queries and answers about installing and using this skill.
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.
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.
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.
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.
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.
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.
LerianStudioDefine component interfaces and data contracts before protocol selection.
SjdjdiejdrirhdkjejPromote validated staging builds to production with semantic versioning and health checks.
SandroBeatzRun ESLint and TypeScript type checking on a codebase.
zangjeicyDispatch specialized subagents for task execution and two-stage quality reviews.
