- Category
- Developer Tools
- Rank
- No. 2862Tools index
- Pricing
- Open Source
- Type
- TOOL
- GitHub
- 1 stars
- Latest release
- v0.28.0
- Date
About
A programming language and verification pipeline for experiments where AI agents write code under formal contracts. Agents fill typed holes, and an SMT solver proves each body before it merges, so incorrect fills are rejected rather than reviewed by hand. It is written with Haskell and Z3 and uses refinement types.
Tags
programming-languageformal-verificationsmtai-agentshaskellrefinement-types
Tech Stack
Docker
Comments (0)
No comments yet
Editorially curated, with community endorsements as a secondary signal. Corrections welcome.