verify

Validate contracts, specs, and plans via structural checks and LLM cross-review.

77|5|Updated Mar 9, 2026
One-click install
npx skills add https://github.com/lee-to/hlv --skill verify-lee-to
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: verify
Source: https://github.com/lee-to/hlv/tree/main/skills/verify
Command: npx skills add https://github.com/lee-to/hlv --skill verify-lee-to

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill ensures contract integrity by performing deterministic structural checks and semantic cross-review, delivering a comprehensive verify report after generate or edits.

Core Features & Use Cases

  • Deterministic structural validation of contracts, test specs, and plan.
  • Semantic cross-review using LLM to ensure consistency and coverage across artifacts.
  • Generates a verify report and guides next steps for /implement and milestone updates.

Quick Start

Run the verification workflow after edits to contracts to generate a full verify report.

Frequently Asked Questions about verify

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

FAQPage Schema
How do I validate contracts and project artifacts after making manual edits?

You can validate contracts after manual edits by running structural and semantic cross-review checks. This workflow enforces prerequisites, assesses consistency and coverage across project artifacts, and generates a structured verify report.

How does semantic LLM cross-review work for project validation specs?

Semantic cross-review uses an LLM to evaluate consistency and coverage across contracts and validation specs. Combined with deterministic structural checks, it produces a comprehensive verify report detailing structural and semantic assessment results.

When do I need to run structural validation on my project milestones?

Run structural validation after generating or editing contracts to ensure artifact integrity before implementation. It applies deterministic checks and LLM cross-review, outputting a verify report that guides milestone updates and enables the next implementation step.

Can I use automated contract validation to check coverage and consistency?

Yes, automated contract validation checks coverage and consistency using deterministic structural checks and LLM cross-review. It processes contracts, test specs, and plans to output a structured verify report that guides milestone updates and implementation.

What is the best way to verify project artifacts before starting implementation?

Verifying project artifacts before implementation involves structural and semantic contract validation. This process applies deterministic checks and LLM cross-review to contracts and plans, producing a verify report that guides milestone updates and enables implementation.

Why does contract validation fail when prerequisites are not enforced?

Contract validation requires enforced prerequisites to properly execute structural checks and LLM cross-review. Without them, the validation cannot accurately assess artifact consistency and coverage, failing to produce the verify report needed for milestone updates.