verify SKILL.md skillA

verify from jongwony/epistemic-protocols is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.

Install it, pinned
mdr add jongwony/epistemic-protocols/verify@git:20261014.426da72

Pins git:20261014.426da72 in mdr.lock. Pin the fingerprint instead.

Audit grade
A, 17 of 17 checks passed
Kind
SKILL.md skill
Repository
jongwony/epistemic-protocols
Path
.claude/skills/verify/SKILL.md
Versions recorded
13
Latest version
git:20261014.426da72, committed Oct 14, 2026
First version recorded
Aug 7, 2026
Size
5,724 bytes
Repository stars
173
License
MIT

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.

Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.

What the file says

# Protocol Verification

Verify epistemic protocol consistency before commit through static checks and expert review.

## Purpose

Surface potential issues in protocol definitions without blocking commits. Follow Anthropic philosophy: transparency over enforcement, user agency over automation.

## Core Principles

| Principle | Implementation |
|-----------|----------------|
| **Surface, don't enforce** | Present findings; user decides action |
| **Zero-context scripts** | Static checks run without consuming context |
| **Explicit control** | User invokes `/verify` intentionally |
| **Graduated severity** | Critical / Concern / Note categorization |

## Workflow

### Phase 1: Static Checks

Run `scripts/static-checks.js` against project root. This script executes without loading into context.

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

**Output format**:
```json
{
  "pass": [{ "check": "...", "file": "...", "message": "..." }],
  "fail": [{ "check": "...", "file": "...", "message": "..." }],
  "warn": [{ "check": "...", "file": "...", "message": "..." }]
}
```
…

Read the whole file at its exact version.

How to install

The exact contents, by fingerprint
mdr add jongwony/epistemic-protocols/verify@sha256:64d0c94a88d5d4e5

The line at the top of this page pins the label git:20261014.426da72, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.

Badge

mdr badge

[![mdr](https://markdownregistry.com/badge/art_sevdbsbyie5vaclh.svg)](https://markdownregistry.com/a/art_sevdbsbyie5vaclh)

4 badge image fetches in 30 days. What the badge shows.

Versions

The registry has recorded 13 versions of this file, between Aug 7, 2026 and Oct 14, 2026, about one every 6 days.

versioncommittedcommitsizeaudit
git:20261014.426da72 latest2026-10-14 426da72 5,724 BA view · diff
git:20261014.70eced02026-10-14 70eced0 5,731 BA view · diff
git:20261004.2323a312026-10-04 2323a31 5,728 BA view · diff
git:20260927.e0beb7a2026-09-27 e0beb7a 5,720 BA view · diff
git:20260927.063aad22026-09-27 063aad2 5,671 BA view · diff
git:20260925.d1471a92026-09-25 d1471a9 6,117 BA view · diff
git:20260925.27d5e912026-09-25 27d5e91 6,245 BA view · diff
git:20260924.22464b72026-09-24 22464b7 6,200 BA view · diff
git:20260905.c589c6a2026-09-05 c589c6a 6,171 BA view · diff
git:20260904.37d8b942026-09-04 37d8b94 6,179 BA view · diff
git:20260812.1f50d342026-08-12 1f50d34 6,299 BA view · diff
git:20260812.60cc3ea2026-08-12 60cc3ea 6,293 BA view · diff
git:20260807.61a6b9d2026-08-07 61a6b9d 6,259 BA view

Audit of the latest version

A  17 of 17 checks passed. Fixed automatic checks with no AI involved, so the same checks give the same answer every run.
  • pass: Frontmatter block present
  • pass: Frontmatter declares a name
  • pass: Frontmatter declares a description
  • pass: Size between 200 bytes and 200 KB (5724 bytes)
  • pass: No zero-width or bidi control characters
  • pass: No instruction hidden inside an HTML comment
  • pass: No link to an exfiltration or paste host
  • pass: No credential-shaped string
  • pass: No instruction to send local credentials anywhere
  • pass: No text hidden with inline styles
  • pass: No prompt-injection phrasing
  • pass: No curl or wget piped into a shell
  • pass: No recursive delete of root, home or parent
  • pass: No instruction to read or print local credentials
  • pass: No base64 blob over 200 characters
  • pass: No link to a raw IP address
  • pass: No script tag

Source

GitHub

jongwony/epistemic-protocols · 173 stars · license MIT · pushed 2026-10-31 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_sevdbsbyie5vaclh
GET https://markdownregistry.com/api/v1/resolve?ref=jongwony/epistemic-protocols/verify
GET https://markdownregistry.com/api/v1/blob/64d0c94a88d5d4e5f20bb04401f94b2e87b6939e132983ec74fd9247104bfd39

Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.

Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.

More from jongwony/epistemic-protocols

AGENTS.md@.claude/principles AGENTS.md file
jongwony/epistemic-protocols · .claude/principles/AGENTS.md
git:20261004.309cd39 · audit A · 173 stars
CLAUDE.md@.claude/principles CLAUDE.md file
jongwony/epistemic-protocols · .claude/principles/CLAUDE.md
git:20260804.5f2d14a · audit B · 173 stars
encapsulation SKILL.md skill
jongwony/epistemic-protocols · .claude/skills/encapsulation/SKILL.md · This skill should be used when the user asks to "audit plugin encapsulation", "check self-containment semantics", "find…
git:20260812.1f50d34 · audit A · 173 stars
formal-review SKILL.md skill
jongwony/epistemic-protocols · .claude/skills/formal-review/SKILL.md · This skill should be used when the user asks to "formal review", "formal lens review", or invokes /formal-review. A…
git:20261004.2323a31 · audit A · 173 stars
outcome SKILL.md skill
jongwony/epistemic-protocols · .claude/skills/outcome/SKILL.md · This skill should be used when the user asks to "run the outcome eval", "paired bare vs protocol", "which decisions did…
git:20261015.46b405a · audit A · 173 stars
realize SKILL.md skill
jongwony/epistemic-protocols · .claude/skills/realize/SKILL.md · This skill should be used when the user asks to "run the eval", "test whether the protocol actually works at runtime"…
git:20261015.46b405a · audit A · 173 stars
rederive SKILL.md skill
jongwony/epistemic-protocols · .claude/skills/rederive/SKILL.md · This skill should be used when a contributor names a skill whose Lean contract is to be re-derived — a core protocol…
git:20261023.f0629d4 · audit A · 173 stars
release SKILL.md skill
jongwony/epistemic-protocols · .claude/skills/release/SKILL.md · Release for this repo — CalVer tag + narrative prepend.
git:20261015.ef40fb2 · audit A · 173 stars
AGENTS.md AGENTS.md file
jongwony/epistemic-protocols · AGENTS.md
git:20261015.65e963f · audit A · 173 stars
CLAUDE.md CLAUDE.md file
jongwony/epistemic-protocols · CLAUDE.md
git:20260515.f43f2ee · audit B · 173 stars
AGENTS.md@aitesis AGENTS.md file
jongwony/epistemic-protocols · aitesis/AGENTS.md
git:20260927.c7b710c · audit A · 173 stars
inquire SKILL.md skill
jongwony/epistemic-protocols · aitesis/skills/inquire/SKILL.md · A task rests on missing context or unchecked assumptions: the user can then recognize what was settled and from where…
git:20261027.faa8382 · audit A · 173 stars

Every file in jongwony/epistemic-protocols

Other files named verify

verify SKILL.md skill
garrytan/gstack · verify/SKILL.md · Use when coding: run the checks and tests /ship picks until green. (gstack)
v0.1.0 · audit A · 138,879 stars
verify SKILL.md skill
yeachan-heo/oh-my-claudecode · skills/verify/SKILL.md · Verify that a change really works before you claim completion
git:20260401.ff9223c · audit A · 40,492 stars
verify SKILL.md skill
zenbu-labs/terminal-browser · .claude/skills/verify/SKILL.md · Drive an engine app headlessly in a pty, record a video of the whole verification, and open a summary page (video +…
git:20260721.c3339dc · audit A · 4,376 stars
verify SKILL.md skill
alsk1992/cloddsbot · src/skills/bundled/verify/SKILL.md · Verify agent identity using ERC-8004 on-chain registry
git:20260130.5926fbf · audit A · 3,052 stars
verify SKILL.md skill
ethanyoq/ai-novel-writer · .claude/skills/verify/SKILL.md · 在真实 Electron 中驱动 AI 小说作家,按场景截图、记录启动耗时并读取只读诊断。前端重设计 RD-0 至 RD-10 每个 PR 的实机验证都走这里。用于「实机验证」「截图对比」「跑一下界面场景」。
git:20261028.6a56326 · audit B · 2,254 stars
verify SKILL.md skill
zereight/gitlab-mcp · .github/skills/verify/SKILL.md · Verify that a change really works before claiming completion. Activate when user says: verify this, check if it works…
git:20260412.9d9ce51 · audit A · 2,080 stars
verify SKILL.md skill
codeaholicguy/ai-devkit · skills/verify/SKILL.md · AI DevKit · Enforce evidence-based completion claims — require fresh command output before reporting success. Use when…
git:20261028.9c55339 · audit A · 1,656 stars
verify SKILL.md skill
sethgammon/citadel · skills/verify/SKILL.md · Self-test the Citadel hook pipeline from within a live session. Exercises real tool calls (Write, Edit, Bash, Read) and…
git:20260919.f58febd · audit A · 929 stars

Browse by kind, by grade A, or by owner.