Popular repositories Loading

1. guardians guardians Public

   an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026)

   Python 65 5

2. poof poof Public

   Prototypes: Object Orientation, Functionally

   Scheme 58 8

3. dafny-replay dafny-replay Public

   Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications

   TypeScript 34 1

4. claimcheck claimcheck Public

   Dafny verifies proofs; claimcheck confirms intent.

   JavaScript 22 3

5. dafny-annotator dafny-annotator Public

   AI-assisted verification of Dafny Programs

   Python 20 4

6. henri henri Public

   a small, hackable agent CLI in Python, with explicit control via tools, permissions, and hooks

   Python 14 4