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.
javascript state-machine verification model-checking formal-methods invariants llm claude-code claude-code-plugin trace-validation
-
Updated
Jul 31, 2026 - JavaScript