cognitive-fab

Popular repositories Loading

1. sam-lib sam-lib Public

   SAM Library

   JavaScript 41 7

2. polygraph polygraph Public

   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.

   JavaScript 10 1

3. sam-fsm sam-fsm Public

   npm sam-fsm

   JavaScript 4 1

4. polygraph-demo-daao polygraph-demo-daao Public

   JavaScript

5. polygate polygate Public

   CI/CD for enterprise verification

   JavaScript