verify SKILL.md skillA
verify from 7xuanlu/wenlan is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.
mdr add 7xuanlu/wenlan/verify@git:20260903.66f0580Pins git:20260903.66f0580 in mdr.lock. Pin the fingerprint instead.
- Audit grade
- A, 17 of 17 checks passed
- Kind
- SKILL.md skill
- Repository
- 7xuanlu/wenlan
- Path
.claude/skills/verify/SKILL.md- Versions recorded
- 2
- Latest version
- git:20260903.66f0580, committed Sep 3, 2026
- First version recorded
- Jul 28, 2026
- Size
- 3,184 bytes
- Repository stars
- 84
- License
- Apache-2.0
Drive/evidence recipe for verifying wenlan changes at their real surfaces (daemon HTTP, CLI, MCP stdio). The handle file the built-in verify protocol expects; launch primitives live in the run-wenlan skill, deeper machinery (mutation audit, behavior trace, weekly sweep) in the prove skill.
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
# Verifying wenlan — drive the real surfaces Launch: use the `run-wenlan` skill — build, isolated boot, stop, the port allocation (manual instance :17878, `smoke-cli.sh` :17881, `smoke-mcp.sh` :17882 — they are not interchangeable), and the daemon lifecycle checklist all live there. Never verify against the shared prod daemon on :7878. Drive by surface — these scripts ARE the drive recipes (read them for the flow, run them for a full round-trip): - Daemon HTTP: curl the changed route on the isolated port; recipe in `.claude/skills/prove/references/daemon.md`. - CLI: `bash scripts/smoke-cli.sh` (capture → memories → search, black-box). - MCP: `bash scripts/smoke-mcp.sh` (stdio JSON-RPC initialize → capture → recall). Gotchas (drive-time): - Ingest is async (batcher + embedding): poll search up to ~60s before calling a miss a failure. - Record evidence: prefix any check with `bash scripts/attest.sh`. It appends one JSON line to `.claude/attest.jsonl` — the ledger the weekly sweep audits — and passes the command's exit status through unchanged. If it cannot write the ledger it exits non-zero even when the command passed: an unrecorded run reads …
Read the whole file at its exact version.
How to install
mdr add 7xuanlu/wenlan/verify@sha256:9c60359c845bc00cThe line at the top of this page pins the label git:20260903.66f0580, 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_sshkubct3twfvdca)
4 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 2 versions of this file, between Jul 28, 2026 and Sep 3, 2026, about one every 38 days.
| version | committed | commit | size | audit | |
|---|---|---|---|---|---|
| git:20260903.66f0580 latest | 2026-09-03 | 66f0580 | 3,184 B | A | view · diff |
| git:20260728.3525328 | 2026-07-28 | 3525328 | 1,294 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 (3184 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
7xuanlu/wenlan · 84 stars · license Apache-2.0 · pushed 2026-10-19 · branch main
API
GET https://markdownregistry.com/api/v1/artifacts/art_sshkubct3twfvdca GET https://markdownregistry.com/api/v1/resolve?ref=7xuanlu/wenlan/verify GET https://markdownregistry.com/api/v1/blob/9c60359c845bc00c6901dda0c0958b92bd305d38d712b964bf3ea1183fcff028
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.