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

polygraph skillA

polygraph is agent-read markdown (skill) from cognitive-fab/polygraph: A polygraph for your state machine. Audit a stateful piece of code end-to-end: YOU (the agent) instrument a copy, build any test doubles needed to run it, and capture real execution traces, then derive a transition-function spec from its source with an LLM (default artifact: a SAM v2 strict-profile module — named intents/schemas/domains, keyed acceptors, observable reject(reason), sealed model, next-state (prime) acceptors), replay the traces against it, model-check it against invariants, and su.

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/polygraph@git:20260811.fb53d7e
Exact content
mdr add cognitive-fab/polygraph/polygraph@sha256:43d842740c6a1862

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_oaccv47czjfqf6o5.svg)](https://markdownregistry.com/a/art_oaccv47czjfqf6o5)

0 badge views in 30 days

Versions

versioncommittedcommitsizeaudit
git:20260811.fb53d7e latest2026-08-11 fb53d7e 22,718 BA view · diff
git:20260807.27053882026-08-07 2705388 22,931 BA view · diff
git:20260725.c560fd12026-07-25 c560fd1 22,249 BA view · diff
git:20260724.b7ad92a2026-07-24 b7ad92a 22,139 BA view · diff
git:20260723.f481c1d2026-07-23 f481c1d 21,510 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 (22718 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_oaccv47czjfqf6o5
GET https://markdownregistry.com/api/v1/resolve?ref=cognitive-fab/polygraph/polygraph
GET https://markdownregistry.com/api/v1/blob/43d842740c6a1862c56695d91c3894c0f3a59c199fcacf0734104787621fa65d

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