verify SKILL.md skillA
verify from oliver-kriska/claude-elixir-phoenix is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.
mdr add oliver-kriska/claude-elixir-phoenix/verify@git:20261016.88cbbaaPins git:20261016.88cbbaa in mdr.lock. Pin the fingerprint instead.
- Audit grade
- A, 17 of 17 checks passed
- Kind
- SKILL.md skill
- Repository
- oliver-kriska/claude-elixir-phoenix
- Path
plugins/rewrite/skills/verify/SKILL.md- Versions recorded
- 2
- Latest version
- git:20261016.88cbbaa, committed Oct 16, 2026
- First version recorded
- Oct 16, 2026
- Size
- 12,507 bytes
- Repository stars
- 569
- License
- MIT
Verify a rewrite slice against its obligations: preflight, capture fresh test evidence, audit translationese and parity, update the ledger. Use after /phx:work finishes a rewrite slice, or before claiming parity.
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
# Rewrite Verify — Evidence, Not Claims Phase 5, run once per slice after `/phx:work`. It answers two questions with evidence: is this slice **Elixir, or the legacy app transliterated** (idiom audit), and which of its obligations are **proven** (parity audit). Generic Elixir quality stays with `/phx:review`. ```text /phx:work → /rewrite:verify NN <-- YOU ARE HERE → /rewrite:roadmap --next ``` ## Iron Laws 1. **PREFLIGHT BEFORE ANY COMMAND** — static proof of the target, a disposable database and no live side effects, printing no secret; a blocked preflight stays `blocked`, never a trial run 2. **EVIDENCE IS RECORDED BY `ev run`** — exit status, target and source identity before and after, redacted environment and log, written before anyone interprets them; identity that moved means `stale` 3. **THE OBLIGATIONS ARE THE DENOMINATOR** — from the slice seed, the analyses and a source completeness check, never from the tests that happen to exist 4. **NO PASS BY EXCLUSION** — skipped, excluded, stubbed or stale results never count; pre-existing findings are still findings …
Read the whole file at its exact version.
How to install
mdr add oliver-kriska/claude-elixir-phoenix/verify@sha256:d8090a5851067c5cThe line at the top of this page pins the label git:20261016.88cbbaa, 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_ii5pmkdeaeujdbo5)
2 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 2 versions of this file, all committed on Oct 16, 2026.
| version | committed | commit | size | audit | |
|---|---|---|---|---|---|
| git:20261016.88cbbaa latest | 2026-10-16 | 88cbbaa | 12,507 B | A | view · diff |
| git:20261016.60a2294 | 2026-10-16 | 60a2294 | 11,725 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 (12507 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
oliver-kriska/claude-elixir-phoenix · 569 stars · license MIT · pushed 2026-10-22 · branch main
API
GET https://markdownregistry.com/api/v1/artifacts/art_ii5pmkdeaeujdbo5 GET https://markdownregistry.com/api/v1/resolve?ref=oliver-kriska/claude-elixir-phoenix/verify GET https://markdownregistry.com/api/v1/blob/d8090a5851067c5cbb79321d373744f82b453dddd1c776abc339118c47bbf6f2
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 oliver-kriska/claude-elixir-phoenix
Every file in oliver-kriska/claude-elixir-phoenix