How do I install the Specverify skill?

Run npx skillmds@latest add frmoretto/specverify-2 in your terminal (requires Node.js), paste this page's agent-chat prompt into Claude, Cursor, or any MCP-connected agent, or download the SKILL.md file and copy it into your agent's skills directory.

Is Specverify safe to use?

This skill has not completed SkillMD's automated safety review yet. SkillMD never runs a skill's scripts for you; review the SKILL.md before installing.

Which AI agents work with Specverify?

This skill is tagged as working with Claude Code, Claude.ai, OpenAI Codex. SKILL.md is an open format, so most agents that read a skills directory can load it too.

Is Specverify free to use?

Yes. Installing skills from SkillMD is free, and the skill stays under its author's original license.

Who published Specverify?

frmoretto (@frmoretto) published this skill. Their other Agent Skills are listed on their SkillMD profile.

Specverify by frmoretto — Agent Skill

Name: Specverify
Author: frmoretto

Specverify

Independent specification verification for AI-ready documents. Two-pass protocol — base (7 universal items, deterministic + LLM, works with ANY framework) then deep (7 analytical + 6 architectural items, LLM reasoning). Triggers on "verify spec", "spec gate", "check my spec", "specverify", "review spec quality", "is this AI-ready", "run specverify". Use BEFORE code generation. Must run in a separate session from the one that wrote the specs — same-session verification is self-certification theater.

frmoretto 1bab67d 6 files · 44.8 KB Updated Sep 17, 2026

File contents

specverify v1.1 — Specification Verification Protocol

CRITICAL: SEPARATION PRINCIPLE

Never verify specs in the same session that wrote them. The model that authored the document cannot effectively attack it. specverify must run in a fresh session, or ideally on a different model. If called in the same session that generated the specs, WARN the user and proceed with a disclaimer.

What specverify Does

Two-pass verification of specification documents before AI code generation:

Pass	Name	Items	Method	For whom
base	Universal Checklist	7	Script pre-check + LLM	Everyone — any framework, any spec format
deep	Analytical + Architectural	7 + 6	LLM reasoning	Anyone wanting comprehensive verification

base answers: "Can an AI execute this without asking questions?" deep answers: "Will the AI execute it correctly? Is the document architecture sound?"

Commands

`specverify base`

Universal verification. Works with ANY spec format — BMAD, GSD, Spec Kit, Stream Coding, custom. Read commands/base.md.

Run ~/.claude/commands/specverify/scripts/precheck.py on all spec files → deterministic pre-report
LLM evaluates 7 universal items using pre-report + document content
Score 0-2 per item, total /14, normalized /10
Output: score + gap register with severity

Threshold: 7/10 minimum for AI-ready.

`specverify deep`

Comprehensive analysis. Read commands/deep.md.

Two sections:

Analytical Coherence (7 items): Cross-value consistency, code-spec coherence (incl. data flow traceability), claim credibility, abuse surface, implicit dependencies (incl. build/deploy), interface contract completeness, consumer-provider coverage
Document Architecture (6 items): Type labels, anti-patterns, test cases, error handling, deep links, duplication — follows Stream Coding conventions but surfaces real issues in any spec format

Always runs regardless of base score. If base < 7/10, findings include a caveat.

`specverify full`

Runs base then deep in sequence. Read commands/full.md.

Scoring

Base Score (7 items, 0-2 each, max 14)

Range	Normalized	Verdict
13-14	9-10/10	AI-ready. Proceed.
10-12	7-8.5/10	Minor revision needed.
7-9	5-6.5/10	Not AI-ready. Significant revision.
0-6	<5/10	Fundamental issues.

Deep Findings

No numeric score. Findings list with severity: CRITICAL / HIGH / MEDIUM / LOW.

File Structure

specverify/
├── SKILL.md              ← You are here
├── commands/
│   ├── base.md           ← 7 universal items
│   ├── deep.md           ← 7 analytical + 6 architectural items
│   └── full.md           ← Combined protocol
├── scripts/
│   └── precheck.py       ← Deterministic pre-checks
└── templates/
    └── report.md         ← Output template

specverify by Francesco Marinoni Moretto — MIT License github.com/frmoretto/specverify

---name: specverify-2description: Independent specification verification for AI-ready documents. Two-pass protocol — base (7 universal items, deterministic + LLM, works with ANY framework) then deep (7 analytical + 6 architectural items, LLM reasoning). Triggers on "verify spec", "spec gate", "check my spec", "specverify", "review spec quality", "is this AI-ready", "run specverify". Use BEFORE code generation. Must run in a separate session from the one that wrote the specs — same-session verification is self-certification theater.---# specverify v1.1 — Specification Verification Protocol## CRITICAL: SEPARATION PRINCIPLE> **Never verify specs in the same session that wrote them.**> The model that authored the document cannot effectively attack it.> specverify must run in a fresh session, or ideally on a different model.> If called in the same session that generated the specs, WARN the user and proceed with a disclaimer.---## What specverify DoesTwo-pass verification of specification documents before AI code generation:| Pass | Name | Items | Method | For whom ||------|------|-------|--------|----------|| **base** | Universal Checklist | 7 | Script pre-check + LLM | **Everyone** — any framework, any spec format || **deep** | Analytical + Architectural | 7 + 6 | LLM reasoning | Anyone wanting comprehensive verification |**base** answers: "Can an AI execute this without asking questions?"**deep** answers: "Will the AI execute it *correctly*? Is the document architecture sound?"---## Commands### `specverify base`Universal verification. Works with ANY spec format — BMAD, GSD, Spec Kit, Stream Coding, custom. Read [commands/base.md](~/.claude/commands/specverify/commands/base.md).1. Run `~/.claude/commands/specverify/scripts/precheck.py` on all spec files → deterministic pre-report2. LLM evaluates 7 universal items using pre-report + document content3. Score 0-2 per item, total /14, normalized /104. Output: score + gap register with severity**Threshold:** 7/10 minimum for AI-ready.### `specverify deep`Comprehensive analysis. Read [commands/deep.md](~/.claude/commands/specverify/commands/deep.md).Two sections:- **Analytical Coherence (7 items):** Cross-value consistency, code-spec coherence (incl. data flow traceability), claim credibility, abuse surface, implicit dependencies (incl. build/deploy), interface contract completeness, consumer-provider coverage- **Document Architecture (6 items):** Type labels, anti-patterns, test cases, error handling, deep links, duplication — follows Stream Coding conventions but surfaces real issues in any spec formatAlways runs regardless of base score. If base < 7/10, findings include a caveat.### `specverify full`Runs `base` then `deep` in sequence. Read [commands/full.md](~/.claude/commands/specverify/commands/full.md).---## Scoring### Base Score (7 items, 0-2 each, max 14)| Range | Normalized | Verdict ||-------|-----------|---------|| 13-14 | 9-10/10 | AI-ready. Proceed. || 10-12 | 7-8.5/10 | Minor revision needed. || 7-9 | 5-6.5/10 | Not AI-ready. Significant revision. || 0-6 | <5/10 | Fundamental issues. |### Deep FindingsNo numeric score. Findings list with severity: CRITICAL / HIGH / MEDIUM / LOW.---## File Structure```specverify/├── SKILL.md ← You are here├── commands/│ ├── base.md ← 7 universal items│ ├── deep.md ← 7 analytical + 6 architectural items│ └── full.md ← Combined protocol├── scripts/│ └── precheck.py ← Deterministic pre-checks└── templates/ └── report.md ← Output template```---*specverify by Francesco Marinoni Moretto — MIT License**github.com/frmoretto/specverify*

Frequently asked questions