polygraph
SkillGitHubAttivoJavaScript
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.
Provenienza della descrizione: Fonte originale
Misurato: 23 ott 2026 · 60 osservazioni
Domini & Utilizzi
- Domini
- Agenti, skill e MCP
- Utilizzi
- Competenze per agenti, Assistenti di codice
Installazione
/plugin marketplace add cognitive-fab/polygraphVerifica alla fonte
Verifica compatibilità e requisiti nella documentazione ufficiale.
https://github.com/cognitive-fab/polygraphClassificazioni
- Natura
- Strumento
Storico delle misure
Le letture confrontabili sono raggruppate per segnale e unità.
Stelle
14stelle · 23 ott 2026
0 (0 %)dal 23 set 2026
Valori esatti · 19 rilevazioni
| Misurato | stelle | Variazione |
|---|---|---|
| 14 | 0 | |
| 14 | 0 | |
| 14 | 0 | |
| 14 | 0 | |
| 14 | 0 | |
| 14 | 0 | |
| 14 | 0 | |
| 14 | 0 | |
| 14 | 0 | |
| 14 | 0 | |
| 14 | 0 | |
| 14 | 0 | |
| 14 | 0 | |
| 14 | 0 | |
| 14 | 0 | |
| 14 | 0 | |
| 14 | 0 | |
| 14 | 0 | |
| 14 | · |