14:25
2026-10-08
github.com
ai-agents
Show HN: Llmll – AI agents fill typed holes, an SMT solver rejects wrong fills
LLMLL (Large Language Model Logical Language), a programming language and verification pipeline whose primary author is an LLM agent, uses the Z3 SMT solver to prove each AI-written function body agai…