polygraph — fiche et historique

Plugin Claude Code qui dérive un modèle formel de votre code, puis rejoue les traces réelles et valide exhaustivement contre vos invariants.

Actif

Reformulée en français

Source canonique ↗

Langage
JavaScript
Licence
Apache-2.0
Création
Dernière activité
Topics
  • claude-code
  • claude-code-plugin
  • formal-methods
  • invariants
  • javascript
  • llm
  • model-checking
  • state-machine
  • trace-validation
  • verification

Installer /plugin marketplace add cognitive-fab/polygraph

Mesure actuelle

11étoiles GitHub+1 (+10.0 %)
progression mesurée

Le momentum utilise les relevés disponibles des 7 derniers jours : mesuré avec au moins deux relevés comparables, estimé sinon.

Historique des relevés

90 jours · 90 relevés maximum
DateValeurMétrique
11étoiles GitHub
10étoiles GitHub
10étoiles GitHub
10étoiles GitHub
10étoiles GitHub
10étoiles GitHub
10étoiles GitHub
10étoiles GitHub
10étoiles GitHub
10étoiles GitHub
10étoiles GitHub
10étoiles GitHub
10étoiles GitHub
10étoiles GitHub
10étoiles GitHub
10étoiles GitHub
10étoiles GitHub
10étoiles GitHub
9étoiles GitHub
9étoiles GitHub
9étoiles GitHub
9étoiles GitHub

Classements

Domaines
Type
Skills pour agents
Usages

Ces entrées déclarent les mêmes sujets. Aucune similarité n’est déduite : seuls les sujets communs sont indiqués.