polynv SKILL.md skillA
polynv from cognitive-fab/polygraph is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.
mdr add cognitive-fab/polygraph/polynv@git:20260718.5d220f0Pins git:20260718.5d220f0 in mdr.lock. Pin the fingerprint instead.
- Audit grade
- A, 17 of 17 checks passed
- Kind
- SKILL.md skill
- Repository
- cognitive-fab/polygraph
- Path
skills/polynv/SKILL.md- Versions recorded
- 3
- Latest version
- git:20260718.5d220f0, committed Jul 18, 2026
- First version recorded
- Jul 18, 2026
- Size
- 9,204 bytes
- Repository stars
- 15
- License
- Apache-2.0
Elicit the invariants for a state machine — the plugin takes the lead. Harvest candidate invariants from the contract's own vocabulary (terminal states, typed fields, reject rules, effect kinds), contribute the frontier model's domain knowledge as candidates, pre-check every candidate against the machine so each question arrives with a HOLDS verdict or a concrete counterexample story, then drive a plugin-led interview that converges an append-only intent ledger into a confirmed invariants.mjs.…
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
# polynv — elicit the invariants (the plugin leads) Every Polygraph gate is exactly as good as `invariants.mjs`, and writing good invariants from a blank page is a scarce skill. This skill routes around it: **you (the in-session assistant) drive the interview**; the designer's job is reduced to judging concrete stories — confirm / reject / modify / defer — which is a common skill. Never wait for the designer to propose invariants unprompted; propose, ask, and record. > **Disclosure (same as the whole plugin).** This is experimental, unproven > technology. A pre-check verdict is a consistency check over the declared > finite (action, data) domains, not a proof. Harvested candidates describe > BEHAVIOR, not intent — a machine with a bug yields candidates that bless > the bug — which is why nothing enters `invariants.mjs` without the > designer's explicit disposition, and why you must never answer an intent > question on the designer's behalf. A CONVERGED verdict means every question > was answered AND the mutation adequacy grade ran — it still does not prove > the questions were sufficient: the grade bounds unconstrained behavior, it …
Read the whole file at its exact version.
How to install
mdr add cognitive-fab/polygraph/polynv@sha256:5a66f649bb4379cdThe line at the top of this page pins the label git:20260718.5d220f0, 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_t5fl425wd7zrzzsc)
5 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 3 versions of this file, all committed on Jul 18, 2026.
| version | committed | commit | size | audit | |
|---|---|---|---|---|---|
| git:20260718.5d220f0 latest | 2026-07-18 | 5d220f0 | 9,204 B | A | view · diff |
| git:20260718.9e39489 | 2026-07-18 | 9e39489 | 8,768 B | A | view · diff |
| git:20260718.c79e56b | 2026-07-18 | c79e56b | 8,301 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 (9204 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
cognitive-fab/polygraph · 15 stars · license Apache-2.0 · pushed 2026-09-13 · branch main
API
GET https://markdownregistry.com/api/v1/artifacts/art_t5fl425wd7zrzzsc GET https://markdownregistry.com/api/v1/resolve?ref=cognitive-fab/polygraph/polynv GET https://markdownregistry.com/api/v1/blob/5a66f649bb4379cdf4b9622068a24d01428c812b832841acf1f09be9fc5f5017
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.