agentmods.dev

cognitive-fab/polygraph

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.

Open on GitHub cognitivefab.com
14Stars on the repository
20Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

polygraph

01

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…

not rated 14 1mo ago A tokens not measured original Apache-2.0