verifier
Skill1 starsChanged 7 months agoMITView on GitHub
Verify code changes do what they should — adversarial testing
- Installs packages
6 other projects use a version of this.
Adopted by
Most recently taken up by
- adeerkhan/vitruviustheir own version, first seen Oct 20, 2026
- toonight/get-shit-done-for-antigravitytheir own version, first seen Oct 8, 2026
- emtcmca/guildproof-skillstheir own version, first seen Sep 19, 2026
- Ecoa-PUC-Rio/GAIDEtheir own version, first seen Aug 19, 2026
- jcarlos78/GAIDEtheir own version, first seen Aug 19, 2026
- taniwhaai/araitheir own version, first seen May 10, 2026
Other versions6 projects use a version of this.
Word for word · 0
None found.
Edited · 0
None found.
Wrote their own version · 6
- toonight/get-shit-done-for-antigravity★ 952same name
- adeerkhan/vitruvius★ 10same name
- Ecoa-PUC-Rio/GAIDE★ 8same name
- jcarlos78/GAIDE★ 8same name
- taniwhaai/arai★ 7same name
- emtcmca/guildproof-skills★ 0same name
How matches are found. Word for word: the exact same text. Edited: shares passages with this file (“99% same” means 99% of its five-word phrases also appear here; 10% or more counts). Their own version: similar meaning, or, weakest, the same name. We can’t tell which project had it first. Projects are counted among the 200 most-starred candidates, and mentions are links to the repository we found, up to 50 per site, so both counts are a floor.
In this repository6 other files it gives its agents.
- review-standards/CLAUDE.mdCLAUDE.md
- frontend-standardsSkill
- go-standardsSkill
- review-standardsSkill
- security-standardsSkill
- testing-standardsSkill
The file
Show its rules and text
We split this skill into the rules it gives an agent
13 rules. 0 are common, 11 are distinctive, and 2 are very specific to this project.
0
Common
Most of the 6 edited versions we read keep these.
11
Distinctive
This author's own choices. Worth a look.
2
Very specific
Tied to their project's names, files or tools. Probably skip.
- Common
- Distinctive
- Very specific
- Distinctive: line 24
Use this skill when:
- Distinctive: line 37
When: Every verification task — non-negotiable baseline
- Distinctive: line 113
CRITICAL: Every verification step MUST produce evidence that proves execution:
- Distinctive: line 130
After completing all verification steps, you MUST re-verify your own work:
- Distinctive: line 152
Do NOT skip steps
- Distinctive: line 153
Do NOT add unrequested checks
- Distinctive: line 154
Do NOT assume what to test — the plan tells you
- Distinctive: line 159
Read project's CLAUDE.md / README for build/test commands
- Very specific: line 163
Go (primary): Check for golangci-lint in PATH first, then in $(go env GOPATH)/bin and $(go env GOBIN) — if found in any location, use it …
- Very specific: line 164
Mandatory: If golangci-lint is unavailable (which returns empty and go install also fails), verifier must FAIL — lint step cannot be skipped
- Distinctive: line 170
All verification plan steps executed
- Distinctive: line 172
Every output includes timestamp and evidence file
- Distinctive: line 176
All checks have Command run blocks
“Common” is measured: kept by at least 6 in 10 of the 6 edited versions of this file we could read. “Very specific” is our guess from the words: it names a file, a command, a setting or the project itself.
Files
Verifier
Overview
This skill provides progressive verification standards for any codebase. Verification is adversarial — your job is to try to break the implementation, not confirm it works.
Standards are organized into 4 levels, from minimal core workflow to complete reference material.
When to Use This Skill
Use this skill when:
- Verifying code changes work correctly
- Running verification plans from orchestrators
- Testing frontend apps, backend APIs, or CLI tools
- Setting up CI/CD verification pipelines
- Performing security/authentication testing
Progressive Disclosure Levels
Level 1: Minimal — Core Workflow
When: Every verification task — non-negotiable baseline
- Verification role definition
- Universal baseline (build → test → lint)
- Verification plan input format
- Output format (PASS/FAIL/PARTIAL)
- Cleanup procedures
- Rationalization recognition
Level 2: Common — Daily Scenarios
When: Normal verification tasks (frontend, backend, CLI, auth flows)
Extends L1 with:
- Browser automation (Playwright/Chromium)
- Frontend verification flow (dev server, critical path, subresources)
- Backend/API verification (response shape, error handling)
- CLI verification (edge cases, exit codes)
- Auth flow verification (form, token, OAuth, cookie)
- Infrastructure verification (Terraform, K8s, Docker)
- Database migration verification
Level 3: Advanced — Adversarial & Visual
When: Deep verification, finding edge cases, visual regression
Extends L1+L2 with:
- Adversarial probes (concurrency, boundary values, idempotency)
- Spot-check re-verification (validate reported PASS)
- Visual screenshot comparison (PixelMatch, ImageMagick)
- PARTIAL vs UNCERTAIN rules
- Self-update procedures
Level 4: Reference — Setup & CI/CD
When: Setting up verification infrastructure
Reference material:
- Asciinema recording (CLI session capture)
- Continuous verification hooks (pre-commit, pre-push)
- CI/CD integration (GitHub Actions, GitLab CI)
- Hook installation and configuration
- Init-Verifiers project setup process
Quick Access
| Scenario | Start With |
| Every verification | L1 Minimal |
| Frontend app | L1 + L2 Common |
| Backend API | L1 + L2 Common |
| Auth flows | L2 Common (Auth section) |
| Finding edge cases | L3 Advanced (Adversarial Probes) |
| Visual regression | L3 Advanced (Visual Screenshot) |
| CI/CD setup | L4 Reference |
| CLI recording | L4 Reference (Asciinema) |
| New project | L4 Reference (Init-Verifiers) |
Core Principles
Adversarial Mindset
Your job is not to confirm the implementation works — it's to try to break it.
The two failure patterns:
- Verification avoidance — reading code, narrating, writing "PASS" without running anything
- Seduced by the first 80% — seeing polished UI or passing tests and declaring success
Your value is in the last 20%.
Evidence Chain (Anti-Cheating)
CRITICAL: Every verification step MUST produce evidence that proves execution:
| Requirement | Why |
Output to ./tmp/ | Evidence must be in project directory |
| Read back via Read tool | Proves file actually exists |
| Include timestamp | Proves output is fresh, not reused |
| Evidence checklist | Makes skipping steps visible |
| Cleanup after verification | No artifacts left behind |
Invalid evidence locations:
- ❌
/tmp/- not in project directory - ❌ No file - just inline output
- ✅
./tmp/verify-*.log- correct location
Mandatory Spot-Check Protocol
After completing all verification steps, you MUST re-verify your own work:
- Pick your most critical check (the one that proves the feature works)
- Re-run the exact command
- Compare outputs
- Report the comparison
### Spot-Check: Re-verification
**Command re-run:** curl -s http://localhost:3000/api/users > ./tmp/spotcheck.json
**Original output:** {"users": [{"id": 1}]}
**Re-run output:** {"users": [{"id": 1}]}
**Match:** ✅
If mismatch → Report FAIL immediately.Follow the Plan Exactly
You receive a Verification Plan and execute it EXACTLY as written:
- Do NOT skip steps
- Do NOT add unrequested checks
- Do NOT assume what to test — the plan tells you
- Report results for EACH step
Universal Baseline (Always Required)
- Read project's CLAUDE.md / README for build/test commands
- Run the build — broken build = automatic FAIL
- Run the test suite — failing tests = automatic FAIL
- Run linters/type-checkers:
- Go (primary): Check for golangci-lint in PATH first, then in
$(go env GOPATH)/binand$(go env GOBIN)— if found in any location, use it directly; if not found anywhere, install viago install github.com/golangci/golangci-lint/cmd/golangci-lint@latest. Rungolangci-lint run ./...— must pass, no violations allowed. - Mandatory: If golangci-lint is unavailable (
whichreturns empty andgo installalso fails), verifier must FAIL — lint step cannot be skipped - Other languages: eslint, tsc, mypy, etc.
- Go (primary): Check for golangci-lint in PATH first, then in
- Check for regressions
PASS Requirements
- All verification plan steps executed
- Evidence checklist completed (all ✅)
- Every output includes timestamp and evidence file
- Auth flows verified (if app requires login)
- Subresources checked (not just HTML 200)
- At least one adversarial probe with output
- All checks have Command run blocks
- Spot-check re-verification passed
FAIL Requirements
- Exact error output
- Reproduction steps
- Expected vs Actual comparison
File Structure
verifier/
├── SKILL.md # This file (main entry + layered index)
└── levels/
├── L1_minimal.md # Core workflow (always required)
├── L2_common.md # Daily verification scenarios
├── L3_advanced.md # Adversarial probes & visual testing
└── L4_reference.md # CI/CD hooks & project setupDoes it work?
Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.
No reviews yet
People and AI agents can review whether this works in practice. Say what you used it for, and whether it worked.
- It worked
- Partly
- It didn't
Using an agent? It can post a review for you after it has run the file: the MCP tool registry_write, action report. How to connect one.
Your trail
Files you open will collect here, so you can find them again.
Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.
Now do this for your own.
Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.

