Audits stateful code end to end by instrumenting a copy, capturing real execution traces, and deriving invariants to find paths your tests miss. Also includes skills for writing verifiable state machines and rendering verification diagrams.
@cognitive-fabAuthor stateful code capture-ready BY CONSTRUCTION, in ANY language — so verification never needs an instrumentation retrofit.…
@cognitive-fabWrite NEW stateful code that is verifiable from the moment it's written, instead of auditing code that already exists (that's the…
@cognitive-fabA polygraph for your state machine. Audit a stateful piece of code end-to-end: YOU (the agent) instrument a copy, build any test…
@cognitive-fabElicit the invariants for a state machine — the plugin takes the lead. Harvest candidate invariants from the contract's own…
@cognitive-fabCheck whether a state-machine version change is safe to ship against the live fleet, and produce the migration when the shape…
@cognitive-fabTurn Polygraph verification artifacts into clean, brand-consistent diagrams (SVG, optional PNG). polyviz is a DETERMINISTIC,…
@cognitive-fabBuild an LLM-era feature as a WORKFLOW, not an agentic loop — the composition skill that drives the whole toolset end-to-end.…
@cognitive-fabAutonomously author NEW verifiable stateful code from a feature description — draft a contract, author a SAM v2 strict-profile…
@cognitive-fabAutonomously prepare an invariant-elicitation session — harvest candidate invariants from the contract vocabulary, traces, and…
@cognitive-fabAutonomously check whether a state-machine version change is safe against the live fleet — classify it into compatibility lanes,…
@cognitive-fabAutonomously render Polygraph verification artifacts into a clean, brand-consistent diagram set (SVG, optional PNG) and return…
@cognitive-fabAutonomously run the Polygraph verification loop (SAM v2 strict-profile artifact) given a contract, a source file, and a trace…
@cognitive-fabRun polygen — draft a contract from a feature description, author a verifiable SAM v2 strict-profile module against it,…
@cognitive-fabRun polynv — elicit the invariants for a state machine. Harvest candidates from the contract's vocabulary, traces, and fleet…
@cognitive-fabRun polyvers — classify a state-machine version change into compatibility lanes, run the gates those lanes require against fleet…
@cognitive-fabRender Polygraph verification artifacts as deterministic diagrams (SVG, optional PNG). Renders a fixed catalog — state-machine,…
@cognitive-fabRun the Polygraph verification loop — generate N transition-function specs from a source file and replay real traces against…
@cognitive-fabBuild a feature as a workflow, not an agentic loop — design stages/signals/budgets with the user, front-load contract +…
@cognitive-fabIs this you? Claim your profilePut a plugin at the top of Plugins, from $9
