invariants plugins

cognitive-fab/polygraph

Plugin Claude Code

Plugin marketplace listing 2 plugins: polygraph, polyviz.

cognitive-fab/polygraph

Plugin Claude Code

A polygraph for your state machine. The agent does the hard part for you: it instruments your code, builds any test doubles needed to run it, and captures real execution traces — then has an LLM derive a transition-function spec from the source (default: a SAM v2 strict-profile module with named…

cognitive-fab/polygraph

Plugin Claude Code

A deterministic, artifact-derived diagram renderer for Polygraph. Turns the artifacts the suite already produces — the state machine, the invariants, the counterexample, the polyvers compat verdict — into a fixed catalog of clean, brand-consistent SVGs (optional PNG). Same inputs → byte-identical output; no model call.