Blog
Field notes
Short, concrete writing on invariants, property-based testing, and keeping AI-written code honest.
What we do→
AI writes more of our code every week. Keel is the invariant layer that mines the guarantees your codebase depends on and enforces them on every pull request.
What is property-based testing?→Example tests check the cases you thought of. Property-based testing states a rule that must hold for every input, then lets the computer hunt for the counterexample.