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.

1 best points · 0 comments · 1 Hacker News post · 4 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Llmll – AI agents fill typed holes, an SMT solver rejects wrong fills (1 points, 0 comments, by burcsahinoglu, 2026-10-08)