Verify

What it does

When your agent uses it

• Asks to verify protocols
• Check consistency before commit
• Validate definitions
• Run pre-commit checks

Example prompts

• “verify protocols”
• “check consistency before commit”
• “validate definitions”
• “/verify”

Requirements

• Node.js
• Pre-approved tools (allowed-tools): Read, Grep, Glob, Bash(node *), Task, AskUserQuestion

Workflow steps

5 steps, taken from the step headings in SKILL.md.

1. 1Static Checks
2. 2Expert Review
3. 3Synthesize Findings
4. 4Surface via Gate Interaction
5. 5Handle User Decision

What it can do on your machine

Read from SKILL.md and the folder at commit af5aa79. It shows what the files ask for, not the result of running them.

• Tool permissions

  Pre-approves these tools, so the agent can use them without asking each time:

  • Read
  • Grep
  • Glob
  • Bash(node *)
  • Task
  • AskUserQuestion

  From allowed-tools in the SKILL.md frontmatter.

• Runs code

  Ships 9 files in scripts/ (JavaScript), which the agent can run.

  Shell commands in SKILL.md call:

  • node

  From the folder's file list and the shell code blocks in SKILL.md.

• Network

  No URLs in SKILL.md.

  From URLs in SKILL.md, links to its own repository left out.

• Credentials

  Names no API keys, tokens, secrets or passwords.

  From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Verify loads about 1.4k tokens when it runs, and up to ~11k if it reads all its reference files. Until then it costs about 71 tokens; SKILL.md has 457 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it

~71

When it runs · the whole SKILL.md, loaded when a task matches

~1.4k

With references · SKILL.md plus every file in references/, read only if the agent opens them

~11k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); the scripts in this folder are not scanned.

SKILL.md

The full file from jongwony/epistemic-protocols at commit af5aa79, republished under its MIT licence (© jongwony). 457 words, ~1,431 tokens.

name

verify

description

This skill should be used when the user asks to "verify protocols", "check consistency before commit", "validate definitions", "run pre-commit checks", "verify soundness", or wants to ensure epistemic protocol quality. Invoke explicitly with /verify for pre-commit validation.

allowed-tools

Read, Grep, Glob, Bash(node *), Task, AskUserQuestion

node ${SKILL_DIR}/scripts/static-checks.js ${PROJECT_ROOT}

{
  "pass": [{ "check": "...", "file": "...", "message": "..." }],
  "fail": [{ "check": "...", "file": "...", "message": "..." }],
  "warn": [{ "check": "...", "file": "...", "message": "..." }]
}

## Verification Results

### Critical (n issues)
- [issue 1]: [location] - [description]
- [issue 2]: [location] - [description]

### Concerns (n issues)
- [issue 1]: [location] - [description]

### Notes (n observations)
- [observation 1]

### Filtered (Claude Code context)
- [filtered issue]: [reason dismissed]

---
Select action:

[verify: n critical, m concerns acknowledged]

## Verification Results

All checks passed.

- Static checks: all checks pass (0 fail, 0 warn)
- Type/Category review: No issues
- Instruction Design review: No issues

Ready to commit.

## Verification Results

### Critical (1 issue)
- State machine totality: hyphegesis/skills/conduct/SKILL.md - Undefined transition when the person withdraws after the method was handed off

### Concerns (2 issues)
- Categorical terminology: hyphegesis/skills/conduct/SKILL.md - limit/colimit may not match intended semantics
- Directive verb: hyphegesis/skills/conduct/SKILL.md - "Invoke AskUserQuestion" should be "call"

### Notes (1 observation)
- Version: hyphegesis plugin.json version not bumped since last change

---
How to proceed?

© jongwony, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

SKILL.md and 13 other files (scripts, references) in .claude/skills/verify of jongwony/epistemic-protocols.

• SKILL.md
• references/co-change.md
• references/criteria.md
• references/review-checklists.md
• references/verification.md
• scripts/artifact-self-containment.js
• scripts/artifact-sync.js
• scripts/check-context.js
• scripts/language-purity.js
• scripts/lean-bridge.js
• scripts/lean-contract.js
• scripts/prose-surface.js
• scripts/static-checks.js
• scripts/static-checks.test.mjs

Open the folder on GitHubat commit af5aa79