Curlee is a safety harness for AI-generated (and human-written) code: it refuses to run a program unless it can prove your declared contracts within a small, decidable verification scope.
I'm in the early alpha stage. This is a working MVP. Star it if you like where this project is headed.
Top comments (0)