A polygraph for your state machine: an LLM derives a formal model from your code, then Polygraph replays real traces against it and exhaustively model-checks it against your invariants.
Agent
Autonomously author NEW verifiable stateful code from a feature description — draft a contract, author a SAM v2 strict-profile module, self-repair against reachable invariant violations, synthesize a demo/regression corpus — and return the report. Use to generate a state machine, workflow, or reducer that comes out…
Agent
Autonomously prepare an invariant-elicitation session — harvest candidate invariants from the contract vocabulary, traces, and snapshots, pre-check each against the machine (HOLDS / counterexample / BOUNDED / ERROR), run the mutation adequacy grade, and return the ranked question list with evidence. The INTERVIEW…
Agent
Autonomously check whether a state-machine version change is safe against the live fleet — classify it into compatibility lanes, run the mechanical gates (round-trip, stimuli replay, migration validation, seeded model check) over fleet snapshots, scaffold the migration when the shape changed, and return the…
Agent
Autonomously run the Polygraph verification loop (SAM v2 strict-profile artifact) given a contract, a source file, and a trace corpus. Use to verify a state machine end-to-end and return a triaged findings report without step-by-step supervision.
Agent
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)…