Le descrizioni degli strumenti sono in inglese.

polygraph — scheda e storico dello strumento

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.

Attivo

Fonte canonica ↗

Linguaggio
JavaScript
Licenza
Apache-2.0
Creazione
Ultima attività
Argomenti
  • claude-code
  • claude-code-plugin
  • formal-methods
  • invariants
  • javascript
  • llm
  • model-checking
  • state-machine
  • trace-validation
  • verification

Installa /plugin marketplace add cognitive-fab/polygraph

Misurazione attuale

11stelle GitHub+1 (+10.0 %)
crescita misurata

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

Storico delle rilevazioni

90 giorni · 90 rilevazioni massime
DataValoreMetrica
11stelle GitHub
10stelle GitHub
10stelle GitHub
10stelle GitHub
10stelle GitHub
10stelle GitHub
10stelle GitHub
10stelle GitHub
10stelle GitHub
10stelle GitHub
10stelle GitHub
10stelle GitHub
10stelle GitHub
10stelle GitHub
10stelle GitHub
10stelle GitHub
10stelle GitHub
10stelle GitHub
9stelle GitHub
9stelle GitHub
9stelle GitHub
9stelle GitHub

Classificazioni

Ambiti
Tipo
Skill per agenti
Utilizzi

Queste voci dichiarano gli stessi argomenti. Nessuna somiglianza viene dedotta: sono indicati solo gli argomenti in comune.