Load specs, map scenarios to tests, and report coverage gaps.
npx skills add https://github.com/HankLiu447/SuperSpec --skill superspec-verify
Please help me install this Agent Skill. Skill: superspec:verify Source: https://github.com/HankLiu447/SuperSpec/tree/main/skills/verify Command: npx skills add https://github.com/HankLiu447/SuperSpec --skill superspec-verify
The Verify Skill ensures that implementation aligns with specifications by validating that every Requirement has a corresponding test and every Scenario has a test, preventing drift and unverified changes.
Run superspec verify <change-id> to perform a verification pass before archiving.
High-intent search queries and answers about installing and using this skill.
Missing tests during spec verification indicate a coverage gap where a scenario lacks a corresponding test. The deterministic workflow detects these missing tests, identifies extra tests not covered by specs, and flags them in the verification report before archiving.
Requirements traceability for archiving is the process of mapping every requirement and scenario to a corresponding test to prevent drift. You need it before archiving to enforce pre-archive checks and confirm that implementation aligns with specifications.
You can check test coverage for specification scenarios by loading specs, parsing all requirements and scenarios, matching each scenario to an existing test, and generating a comprehensive verification report detailing coverage, gaps, and actionable recommendations.
Unverified code drifts from specifications when changes are implemented without validating that every requirement has a corresponding test. Running a pre-archive verification pass prevents drift by quantifying gaps and ensuring traceability between specs, tests, and implementations.
The best way to identify gaps between specs and implemented code is to apply a deterministic workflow that loads specs, extracts requirements and scenarios, matches them to tests, and reports coverage issues and actionable recommendations for archiving readiness.
dkyazzentwatwaConvert documents between PDF, DOCX, PPTX, XLSX, TXT, CSV, MD, and HTML formats.
HankLiu447Apply delta changes to main specs and archive documents after verification.
morodomiImplement minimal code changes to pass failing tests in the TDD cycle.
joekhosbayarMap requirements to tests and emit a machine-readable e2e-trace summary with gate decision.
