speckit-verify-run

Verify implementation against spec.md, plan.md, tasks.md, and constitution.md.

1|Updated Mar 27, 2026
One-click install
npx skills add https://github.com/payangar-dev/texlab --skill speckit-verify-run
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: speckit-verify-run
Source: https://github.com/payangar-dev/texlab/tree/main/.agents/skills/speckit-verify-run
Command: npx skills add https://github.com/payangar-dev/texlab --skill speckit-verify-run

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill prevents broken implementations by verifying the finished work against the agreed specification artifacts before changes proceed.

Core Features & Use Cases

  • Non-destructive verification gate: Confirms the implementation matches spec.md, plan.md, tasks.md, and constitution.md without modifying files.
  • Task-to-evidence coverage: Checks task completion, referenced files on disk, and requirement coverage using evidence from the implementation.
  • Scenario, test, and alignment checks: Validates spec scenarios and acceptance criteria against what is actually present in the codebase.

Quick Start

Ask the assistant to run speckit-verify-run to validate the implementation against the repository’s spec and verification artifacts.

Frequently Asked Questions about speckit-verify-run

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

FAQPage Schema
How do I verify implementation against acceptance criteria without modifying files?

To verify implementation against acceptance criteria read-only, you can validate the codebase against spec.md, plan.md, tasks.md, and constitution.md to confirm requirement and scenario alignment without altering files.

What is post-implementation specification verification and when do I need it?

Post-implementation specification verification is a non-destructive quality gate that checks finished work against agreed artifacts. You need it to prevent broken implementations before code changes proceed further in the pipeline.

How do I check tasks coverage and referenced files exist after completing a spec-kit project?

To check tasks coverage and confirm referenced files exist, perform an implementation audit that validates task completion, verifies files on disk, and reports evidence using token-efficient deterministic verification reports.

Does read-only validation enforce constitution compliance for specification gates?

Yes, read-only validation enforces constitution compliance by applying MUST principles during the verification process, ensuring the current implementation strictly adheres to the rules defined in constitution.md.

Can I validate spec scenarios and test alignment against my current codebase automatically?

Yes, you can validate spec scenarios and test alignment by checking the current implementation against the defined scenarios and acceptance criteria present in the specification artifacts to ensure codebase alignment.

What are the limitations of using a deterministic verification report for implementation audits?

A deterministic verification report provides token-efficient evidence reporting for implementation audits, but is limited to strict read-only execution, meaning it cannot automatically fix broken implementations or modify any project files.