invariants plugins

cognitive-fab/polygraph

Plugin Claude Code

Bundles 6 skills, 5 commands, 4 agents, 1 plugin · 518 tokens together

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…