openspec-verify-change SKILL.md skillA
openspec-verify-change from minleev5/devkeel is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.
mdr add minleev5/devkeel/openspec-verify-change@v3.4Pins v3.4 in mdr.lock. Pin the fingerprint instead.
- Audit grade
- A, 17 of 17 checks passed
- Kind
- SKILL.md skill
- Repository
- minleev5/devkeel
- Path
.harness/skills/openspec-verify-change/SKILL.md- Versions recorded
- 3
- Latest version
- v3.4, committed Sep 24, 2026
- First version recorded
- Sep 22, 2026
- Size
- 4,804 bytes
- Repository stars
- 6
- License
- MIT
从完整性、正确性和一致性验证实现是否符合 change artifacts，并生成适用报告。.
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
验证实现与 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@sha256:24cf10d627a77db7The line at the top of this page pins the label v3.4, 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.
[](https://markdownregistry.com/a/art_55neatwe2rhjkp6d)
3 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 3 versions of this file, between Sep 22, 2026 and Sep 24, 2026, more than one a day.
| 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 · 6 stars · license MIT · pushed 2026-10-26 · 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 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 minleev5/devkeel
Every file in minleev5/devkeel