verify

Automates tiered verification producing VERIFIED/UNVERIFIED verdicts and an evidence state file.

1|Updated Mar 15, 2026
One-click install
npx skills add https://github.com/paulingham/.claude --skill verify-paulingham
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: verify
Source: https://github.com/paulingham/.claude/tree/main/skills/verify
Command: npx skills add https://github.com/paulingham/.claude --skill verify-paulingham

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Verifying software features goes beyond passing tests; this Skill provides a structured workflow that proves correctness through contract, smoke, mutation, and end-to-end tests.

Core Features & Use Cases

  • Multi-tier verification: contract, smoke, mutation, and E2E tests orchestrated in a single workflow.
  • Verifiable verdicts: produces a clear VERIFIED/UNVERIFIED/VERIFIED_WITH_SKIP signals and writes verification_evidence state.
  • Flexible scope: applies to backend, frontend, and integration changes; supports optional oracle comparisons when available.

Quick Start

Provide a feature change and trigger the verify workflow to produce a tiered verification report and the verification_evidence.json state file.

Frequently Asked Questions about verify

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

FAQPage Schema
What is multi-tier verification and how does it prove feature correctness beyond passing tests?

Multi-tier verification proves feature correctness by orchestrating contract, smoke, mutation, and end-to-end tests in a single workflow, exposing verification gaps that standard testing misses. It generates structured verdicts and evidence state for backend, frontend, and integration changes.

How do I automate contract, mutation, and e2e checks for a feature change?

You automate these checks by providing a feature change and triggering the multi-tier verification workflow. The process orchestrates contract, smoke, mutation, and e2e tests across your changes, outputting a tiered verification report and a verification_evidence state file.

Can I use tiered verification workflows for both frontend and backend integration changes?

Yes, multi-tier verification applies to backend, frontend, and integration changes. It orchestrates contract, smoke, mutation, and end-to-end checks across these scopes and supports optional oracle comparisons to validate correctness when available.

What is the best way to track verification evidence and generate structured verdicts in CI?

The best way to track verification evidence is using an automated workflow that writes a verification_evidence state file. It produces clear VERIFIED, UNVERIFIED, or VERIFIED_WITH_SKIP signals to report structured verdicts for your CI pipeline.

How does mutation testing fit into an automated end-to-end verification workflow?

Mutation testing fits into automated verification as one of multiple orchestrated tiers alongside contract, smoke, and e2e checks. It exposes verification gaps by validating test effectiveness, contributing to the final VERIFIED or UNVERIFIED verdict.

Why does my feature pass tests but still show an UNVERIFIED status?

An UNVERIFIED status occurs when the multi-tier verification workflow exposes correctness gaps across contract, smoke, mutation, or e2e checks. Passing tests alone does not prove feature correctness, which is why structured verdicts capture gaps.