machunter/llmll

A programming language and verification pipeline for experiments in which AI agents write code under formal contracts: agents fill typed holes, and an SMT solver proves each body before it merges.

语言：Haskell · GitHub 星标：3 · Fork：0

话题：ai-agents · formal-verification · haskell · llm · programming-language · refinement-types · smt · z3

在 GitHub 上查看原仓库