LLMLL

LLMLL is a programming language and verification pipeline that enables AI agents to write code by filling typed contract holes. Each generated code body is verified by an SMT solver before merging to ensure it satisfies formal contracts, turning hallucination in AI coding into a search strategy with guaranteed contract compliance. It features structured JSON-AST patches, trust-level tracking, contract weakness checking, and experimental integration with Lean theorem proving for complex proofs.