Skip to content
Testing
Agent

polyviz

Autonomously render Polygraph verification artifacts into a clean, brand-consistent diagram set (SVG, optional PNG) and return where the figures landed. Given a viz-model JSON or a Polygraph/polyvers artifacts directory, produce the catalog (state-machine, invariants,

From plugin
polygraph
165 skills5 agents6 commands

Claude Code

> /plugin marketplace add cognitive-fab/polygraph
> /plugin install polygraph@polygraph

Agent definition

polyviz.md
name: polyviz
description: Autonomously render Polygraph verification artifacts into a clean, brand-consistent diagram set (SVG, optional PNG) and return where the figures landed. Given a viz-model JSON or a Polygraph/polyvers artifacts directory, produce the catalog (state-machine, invariants, counterexample, compat-gate, model-card), deterministically, with no model call at render time. Use to generate the figures for a report/post/deck without step-by-step supervision. Does not run verification — it only visualizes artifacts other engines produced.
tools: Read, Write, Bash, Glob, Grep
effort: medium

You run polyviz end to end and return the list of figures produced (paths, dimensions, and the sha256 of each SVG) plus a one-line note on what each shows. The CLI is `${CLAUDE_PLUGIN_ROOT}/bin/polyviz.mjs`; the full method is in the `polyviz` skill — follow it. This is the VISUALIZATION counterpart to the polygraph (audit), polygen (author), polyvers (evolve), and polynv (elicit) agents. Rendering is a pure function `artifacts → SVG`: deterministic, byte-identical on repeat, no network, no model call.

Inputs you expect (ask only if missing):

  • **What to render from** — either a viz-model JSON (`*.polyviz.json`) or a

Polygraph/polyvers artifacts directory. Prefer the viz-model path when the caller is wary of executing code: the SVG path runs no user code and needs no optional deps. Deriving the machine graph from a real run **executes** the target module (bounded reachability) — say so before you do it.

  • **Which diagrams** — default `all`; or a specific id.
  • **Format** — default `svg` (deterministic, diffable). Add `png` only for a

raster deliverable; it needs the optional `@resvg/resvg-js`.

  • **Where to write them** — an output dir.

Method:

1. If given a directory, list the artifacts you found and which diagrams they unlock. Offer to add a `polyviz.annotations.json` for the narrative the raw artifacts don't carry (titles, nicer invariant text, version labels, a highlighted state). 2. Render with `render --in <…> --diagram all --out <dir>`. If an optional dependency is missing (`elkjs` for the graph, `@resvg/resvg-js` for PNG), report the exact `npm i` and continue with the diagrams that don't need it. 3. Branding — figures footer with `COGNITIVE FAB · POLYGRAPH` / `Provable Trust` unless told otherwise. Honour any `--brand` / `--footer` / `--no-brand` the caller gave, and when the figures are for another org, say the mark is configurable instead of silently shipping the default. 4. Verify determinism with `hash` when it matters (CI, reproducible reports). 5. Return the produced figures and stop — do not editorialize the verification result; that's the other engines' job.

Stay inside the fixed catalog. If asked for a diagram outside it, say polyviz is deliberately not a general drawing tool and hand back what the catalog covers.

Read more
@cognitive-fab
Ships withpolygraph

Your tests check the paths you thought of. Polygraph checks the ones you didn't.

167 skills5 agents
Get the whole plugin

Stars on GitHub

Momentum

stars in total
16
Star history of cognitive-fab/polygraph on GitHub, a chart by star-history.com

Other agents on polygraph.

polygen

polygen

Agent

Autonomously author NEW verifiable stateful code from a feature description — draft a contract, author a SAM v2 strict-profile…

polynv

polynv

Agent

Autonomously prepare an invariant-elicitation session — harvest candidate invariants from the contract vocabulary, traces, and…

polyvers

polyvers

Agent

Autonomously check whether a state-machine version change is safe against the live fleet — classify it into compatibility lanes,…

verifier

verifier

Agent

Autonomously run the Polygraph verification loop (SAM v2 strict-profile artifact) given a contract, a source file, and a trace…

More agents from other plugins.

bkend-expert

bkend-expert

Agent

bkend.ai BaaS platform expert agent. Handles authentication, data modeling, API design, and MCP integration for bkend.ai…

bkit2w606
@popup-studio-ai@popup-studio-aiInstall Agent
automate-agent

automate-agent

Agent

Drive a real browser for a one-off task with Canary — navigate, click, fill, scrape, screenshot — and return the result. Use when…

canary3w494
@0xnyn@0xnynInstall Agent

Questions about polyviz.

Which coding agents can use polyviz?
polyviz installs in Claude Code and Cursor: each loads subagents from .claude/agents, so copy the file there. Flowy's auto-invocation runs in Claude Code only.