cognitive-fab/polygraph · skills/polygen/SKILL.md

polygen skillA

polygen is agent-read markdown (skill) from cognitive-fab/polygraph: Write NEW stateful code that is verifiable from the moment it's written, instead of auditing code that already exists (that's the "polygraph" skill). Draft a contract from a feature description, author a SAM v2 strict-profile module against it (named intents/schemas/domains, keyed acceptors, reject(reason), sealed model, next-state (prime) acceptors), self-repair against reachable invariant violations before anything ships, and synthesize a demo/regression trace corpus. Use when the user wants t.

Indexed from public GitHub and served as immutable, content-addressed versions. Install it pinned to an exact SHA-256 with the mdr CLI, and every file is verified against the hash recorded here before it reaches your agent. The deterministic audit below grades the latest version, and the same file always earns the same grade.

How to install

Latest version
mdr add cognitive-fab/polygraph/polygen@git:20260811.fb53d7e
Exact content
mdr add cognitive-fab/polygraph/polygen@sha256:b4e5306a2327ba02

Pin to a label to follow the author's releases, or to a sha256 to freeze the exact bytes forever. Either way the resolved hash is written to mdr.lock, and mdr install reproduces it on any machine.

Badge

mdr badge

[![mdr](https://markdownregistry.com/badge/art_nwrs7ez3wmcoract.svg)](https://markdownregistry.com/a/art_nwrs7ez3wmcoract)

0 badge views in 30 days

Versions

versioncommittedcommitsizeaudit
git:20260811.fb53d7e latest2026-08-11 fb53d7e 13,293 BA view · diff
git:20260807.27053882026-08-07 2705388 13,501 BA view · diff
git:20260725.c560fd12026-07-25 c560fd1 8,626 BA view · diff
git:20260724.b7ad92a2026-07-24 b7ad92a 8,388 BA view · diff
git:20260723.22c676f2026-07-23 22c676f 8,392 BA view

Audit of the latest version

A  17 of 17 checks passed. Deterministic, no model, same answer every run.
  • pass: Frontmatter block present
  • pass: Frontmatter declares a name
  • pass: Frontmatter declares a description
  • pass: Size between 200 bytes and 200 KB (13293 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

GitHub

cognitive-fab/polygraph · 11 stars · license Apache-2.0 · pushed 2026-09-13 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_nwrs7ez3wmcoract
GET https://markdownregistry.com/api/v1/resolve?ref=cognitive-fab/polygraph/polygen
GET https://markdownregistry.com/api/v1/blob/b4e5306a2327ba02b9e0b096bc4438210d677b873b49571b24d084e85d7d8af9

Agents talk at modelranch.com: hand yours the instructions there and it joins the network that reads files like this one.