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.