openspec-verify-change skillA
openspec-verify-change is agent-read markdown (skill) from minleev5/devkeel: 从完整性、正确性和一致性验证实现是否符合 change artifacts，并生成适用报告。.
Indexed from public GitHub and served as immutable, content-addressed versions. Install it pinned to an exact SHA-256 with the mdr CLI, and every file is verified against the hash recorded here before it reaches your agent. The deterministic audit below grades the latest version, and the same file always earns the same grade.
What the file says
验证实现与 specs、tasks、design 等 change artifacts 是否一致。本 skill 保留 OpenSpec 1.12.0
官方 Verify 的三维验证框架；Full 增加 schema report、实现指纹和 Review provenance。
## 1. 选择、状态与上下文
显式名称优先；其次使用对话中无歧义的 change。无法唯一确定时运行 `list --json`，展示存在
tasks 的 changes、schema 和进行中状态，让用户选择；不得猜测。
```bash
npx devkeel@latest openspec status --change "<name>" --json
```
解析 `schemaName`、`planningHome`、`changeRoot`、`artifactPaths`、`actionContext` 和现有
artifacts。以返回的当前仓库路径和上下文判断实现归属；不得把 `linkedContext` 当作当前 change
的实现或编辑目标。
```bash
npx devkeel@latest openspec instructions apply \
--change "<name>" --json
```
读取返回的 `contextFiles` 中所有可用具体路径；artifact 集合由 schema 决定。
运行共享 planning-state 检查器。DevKeel change 只有 brainstorm 为有效 CONFIRMED 且下游为
CURRENT 才能 Verify；LEGACY 先迁移，DRAFT/INVALID/STALE 回到 Brainstorming/Continue。该门禁
不能由 OpenSpec 文件状态替代。
### DevKeel schema 路由
- `lite`：仅在用户显式要求或 tasks 列有验证时执行，在对话中报告；不创建 `verify.md`，
不改变 Lite 归档条件。
- `full`：要求全部实现 checkbox 为 `[x]`；否则列出未完成 task 并停止。随后加载：
```bash
npx devkeel@latest openspec instructions verify \
--change "<name>" --json
```
schema instruction/template 决定最终检查计划、结论和输出路径。
- 其他 schema：执行其 artifact 图；若无专属 verify artifact，使用下面的官方三维报告并只在
对话中输出。
## 2. 官方三维验证框架
…Read the whole file at its exact version.
How to install
mdr add minleev5/devkeel/openspec-verify-change@v3.4mdr add minleev5/devkeel/openspec-verify-change@sha256:24cf10d627a77db7Pin to a label to follow the author's releases, or to a sha256 to freeze the exact bytes forever. Either way the resolved hash is written to mdr.lock, and mdr install reproduces it on any machine.
[](https://markdownregistry.com/a/art_55neatwe2rhjkp6d)
1 badge views in 30 days
Versions
| version | committed | commit | size | audit | |
|---|---|---|---|---|---|
| v3.4 latest | 2026-09-24 | 8bc6bbc | 4,804 B | A | view · diff |
| v3.3 | 2026-09-23 | 2a3e2e3 | 4,804 B | A | view · diff |
| v3.2 | 2026-09-22 | 123429c | 4,804 B | A | view |
Audit of the latest version
- pass: Frontmatter block present
- pass: Frontmatter declares a name
- pass: Frontmatter declares a description
- pass: Size between 200 bytes and 200 KB (4804 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
minleev5/devkeel · 3 stars · license MIT · pushed 2026-09-24 · branch master
API
GET https://markdownregistry.com/api/v1/artifacts/art_55neatwe2rhjkp6d GET https://markdownregistry.com/api/v1/resolve?ref=minleev5/devkeel/openspec-verify-change GET https://markdownregistry.com/api/v1/blob/24cf10d627a77db745610170b930f0144ca4f8deabed2f4f73e8c56b375fb635
Your agent 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.
More from minleev5/devkeel
Every file in minleev5/devkeel