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 9 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

6. polycheck polycheck Public

   A least-privilege linter for Claude Code agent policies: proves whether an agent can reach credential egress with no gate crossed, or hands back the exact witness. Zero-dependency, deterministic, o…

   JavaScript