verify SKILL.md skillA
verify from jasonxudeveloper/nino is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.
mdr add jasonxudeveloper/nino/verify@git:20261030.e2e28fePins git:20261030.e2e28fe in mdr.lock. Pin the fingerprint instead.
- Audit grade
- A, 17 of 17 checks passed
- Kind
- SKILL.md skill
- Repository
- jasonxudeveloper/nino
- Path
.claude/skills/verify/SKILL.md- Versions recorded
- 2
- Latest version
- git:20261030.e2e28fe, committed Oct 30, 2026
- First version recorded
- Oct 27, 2026
- Size
- 4,303 bytes
- Repository stars
- 652
- License
- MIT
The full Nino gate before anything reaches main or the test branch - build, the unit test matrix, runtime internals, AOT, fuzz, conformance, Go/Rust/TypeScript checks, codegen, actionlint, agent instructions, the docs site - then landing by fast-forward and how the owner cuts a release. Use before any push to main or the test branch, after landing other branches, and before a release. Triggers: push, land, merge to main, cherry-pick, release, rc, "is it ready", CI red, 合并, 合入, 推送, 发版, 发布, 能不能合.
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
# Verify
Run what the change touches; before a release, all of it. Every command runs under `flock -o /tmp/nino-heavy.lock`
when other agents share the machine, after `export PATH=$HOME/.dotnet:$HOME/go/bin:$PATH DOTNET_ROOT=$HOME/.dotnet`.
## .NET
```bash
dotnet build -c Release # 0 warnings
dotnet test tests/Nino.UnitTests -c Release # split in two if memory is short:
# --filter "FullyQualifiedName!~ShapeMatrixTests", then "~ShapeMatrixTests"
dotnet test tests/Nino.UnitTests -f net8.0 -p:NinoCoreTfm=netstandard2.0
dotnet test tests/Nino.UnitTests -f net8.0 -p:NinoCoreTfm=netstandard2.1
dotnet test tests/Nino.UnitTests -f net8.0 -p:NinoRegularCalls=true # interceptors off
dotnet test tests/Nino.UnitTests -f net8.0 -p:NinoGeneratorBuild=4.8 # the .NET 8 SDK generator
DOTNET_EnableHWIntrinsic=0 dotnet test tests/Nino.UnitTests -c Release # no SIMD (also AVX512=0, AVX2=0 for vector code)
dotnet test tests/Nino.AspNetCore.Tests tests/Nino.Codegen.Tests tests/Nino.Codegen.Integration.Tests
```
…Read the whole file at its exact version.
How to install
mdr add jasonxudeveloper/nino/verify@sha256:24657d0549d4c957The line at the top of this page pins the label git:20261030.e2e28fe, 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_3zhiclut6qzjhhie)
2 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 2 versions of this file, between Oct 27, 2026 and Oct 30, 2026, about one every 3 days.
| version | committed | commit | size | audit | |
|---|---|---|---|---|---|
| git:20261030.e2e28fe latest | 2026-10-30 | e2e28fe | 4,303 B | A | view · diff |
| git:20261027.bf64f38 | 2026-10-27 | bf64f38 | 4,119 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 (4303 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
jasonxudeveloper/nino · 652 stars · license MIT · pushed 2026-11-03 · branch main
API
GET https://markdownregistry.com/api/v1/artifacts/art_3zhiclut6qzjhhie GET https://markdownregistry.com/api/v1/resolve?ref=jasonxudeveloper/nino/verify GET https://markdownregistry.com/api/v1/blob/24657d0549d4c957ac3e82283691c2429655ee7651a57d9b2282aa45a3301d1d
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 jasonxudeveloper/nino
Every file in jasonxudeveloper/nino