fsl-verify SKILL.md skillA
fsl-verify from ymm-oss/fsl is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.
mdr add ymm-oss/fsl/fsl-verify@git:20261107.18bd5bfPins git:20261107.18bd5bf in mdr.lock. Pin the fingerprint instead.
- Audit grade
- A, 17 of 17 checks passed
- Kind
- SKILL.md skill
- Repository
- ymm-oss/fsl
- Path
skills/fsl-verify/SKILL.md- Versions recorded
- 6
- Latest version
- git:20261107.18bd5bf, committed Nov 7, 2026
- First version recorded
- Oct 17, 2026
- Size
- 29,205 bytes
- Repository stars
- 37
- License
- Apache-2.0
Run, read, and report fslc verification for an FSL spec at any layer (business, requirements, design, or the whole chain). Use when asked to verify, check, prove, or gate a spec ("verify this spec", "is it proved", "is it ready to hand over", "can development start from this", "how strong is the spec", "did this change break anything"), to choose which fslc commands to run and in what order, to tell a real pass from a bounded or undecided one, to fix a spec from verifier output without…
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
# FSL Verify — choose the run, read the result, report the claim
A headerless document is FSL 4; to migrate it, see the migration guide in `docs/manual/LANGUAGE.md` ("FSL 4 to FSL 5 migration").
This skill owns verification: which `fslc` commands a spec needs, how to read
their JSON without over-reading it, how to repair from the output, and how to
report what was and was not shown. The layer skills keep only their minimal
check loop and point here. For syntax read the layer skill (the requirements
forms of files headed `fsl 5` are in `../fsl-requirements/references/syntax.md`)
and `../fsl/SKILL.md`; the full command catalog is
`../fsl/references/commands.md` and the repair table per result kind is
`../fsl/references/errors.md`. The diagnostics that only files headed `fsl 5`
produce are in §8, and the origin self-check that only they need is §9.
Three facts drive everything below:
- **Exit 0 is not "passed".** Several outputs that matter (`deadlock` and
`unreferenced_requirement` warnings, `diff` findings, `mutate` survivors,
`not_evaluated` seams) arrive with exit 0. Read the fields named in the
tables, not only the exit code.
…Read the whole file at its exact version.
How to install
mdr add ymm-oss/fsl/fsl-verify@sha256:91f45d76ddde1c71The line at the top of this page pins the label git:20261107.18bd5bf, 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_2gxg4mmwkbgt3mst)
2 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 6 versions of this file, between Oct 17, 2026 and Nov 7, 2026, about one every 4 days.
| version | committed | commit | size | audit | |
|---|---|---|---|---|---|
| git:20261107.18bd5bf latest | 2026-11-07 | 18bd5bf | 29,205 B | A | view · diff |
| git:20261107.deab533 | 2026-11-07 | deab533 | 28,534 B | A | view · diff |
| git:20261104.6029f4c | 2026-11-04 | 6029f4c | 15,665 B | A | view · diff |
| git:20261029.47aaa48 | 2026-10-29 | 47aaa48 | 15,589 B | A | view · diff |
| git:20261019.9dc515e | 2026-10-19 | 9dc515e | 14,724 B | A | view · diff |
| git:20261017.bf06ebf | 2026-10-17 | bf06ebf | 14,706 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 (29205 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
ymm-oss/fsl · 37 stars · license Apache-2.0 · pushed 2026-11-07 · branch main
API
GET https://markdownregistry.com/api/v1/artifacts/art_2gxg4mmwkbgt3mst GET https://markdownregistry.com/api/v1/resolve?ref=ymm-oss/fsl/fsl-verify GET https://markdownregistry.com/api/v1/blob/91f45d76ddde1c7159b0503aa739de3b8307d4a175add55665c0c9ff58382cca
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.