polygraph

SkillGitHubActiveJavaScript

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.

Description provenance: Original source

Open canonical source

Measured: Oct 23, 2026 · 60 observations

Domains & Uses

Domains: Agents, skills and MCP
Uses: Agent skills, Code assistants

Installation

/plugin marketplace add cognitive-fab/polygraph

Check at the source

Compatibility and prerequisites must be checked in the official documentation.

https://github.com/cognitive-fab/polygraph

Classifications

Nature: Tool

Measurement history

Comparable readings are grouped by signal and unit.

Stars

14stars · Oct 23, 2026

0 (0 %)since Sep 23, 2026

Exact values · 19 readings

Measured	stars	Change
Oct 23, 2026	14	0
Oct 22, 2026	14	0
Oct 21, 2026	14	0
Oct 20, 2026	14	0
Oct 19, 2026	14	0
Oct 18, 2026	14	0
Oct 17, 2026	14	0
Oct 16, 2026	14	0
Oct 15, 2026	14	0
Oct 14, 2026	14	0
Oct 13, 2026	14	0
Oct 12, 2026	14	0
Oct 11, 2026	14	0
Oct 10, 2026	14	0
Oct 9, 2026	14	0
Oct 8, 2026	14	0
Oct 7, 2026	14	0
Oct 6, 2026	14	0
Sep 23, 2026	14	·