polygraph — tool profile and history

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.

Active

Canonical source ↗

Language
JavaScript
License
Apache-2.0
Created
Last activity
Topics
  • claude-code
  • claude-code-plugin
  • formal-methods
  • invariants
  • javascript
  • llm
  • model-checking
  • state-machine
  • trace-validation
  • verification

Install /plugin marketplace add cognitive-fab/polygraph

Current measurement

11GitHub stars+1 (+10.0 %)
measured growth

Momentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.

Reading history

90 days · 90 maximum readings
DateValueMetric
11GitHub stars
10GitHub stars
10GitHub stars
10GitHub stars
10GitHub stars
10GitHub stars
10GitHub stars
10GitHub stars
10GitHub stars
10GitHub stars
10GitHub stars
10GitHub stars
10GitHub stars
10GitHub stars
10GitHub stars
10GitHub stars
10GitHub stars
10GitHub stars
9GitHub stars
9GitHub stars
9GitHub stars
9GitHub stars

Classifications

Domains
Type
Agent skills
Use cases

These entries declare the same topics. No similarity is inferred: only the shared topics are stated.