Die Werkzeugbeschreibungen sind auf Englisch.

polygraph — Werkzeugprofil und Verlauf

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.

Aktiv

Kanonische Quelle ↗

Sprache
JavaScript
Lizenz
Apache-2.0
Erstellt
Letzte Aktivität
Themen
  • claude-code
  • claude-code-plugin
  • formal-methods
  • invariants
  • javascript
  • llm
  • model-checking
  • state-machine
  • trace-validation
  • verification

Installieren /plugin marketplace add cognitive-fab/polygraph

Aktuelle Messung

11GitHub-Sterne+1 (+10.0 %)
gemessenes Wachstum

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

Messverlauf

90 Tage · 90 Messungen maximal
DatumWertMetrik
11GitHub-Sterne
10GitHub-Sterne
10GitHub-Sterne
10GitHub-Sterne
10GitHub-Sterne
10GitHub-Sterne
10GitHub-Sterne
10GitHub-Sterne
10GitHub-Sterne
10GitHub-Sterne
10GitHub-Sterne
10GitHub-Sterne
10GitHub-Sterne
10GitHub-Sterne
10GitHub-Sterne
10GitHub-Sterne
10GitHub-Sterne
10GitHub-Sterne
9GitHub-Sterne
9GitHub-Sterne
9GitHub-Sterne
9GitHub-Sterne

Klassifikationen

Bereiche
Typ
Agent-Skills
Anwendungsfälle

Diese Einträge führen dieselben Themen. Es wird keine Ähnlichkeit abgeleitet: genannt werden nur die gemeinsamen Themen.