Vera – A language designed for machines to write (veralang.dev) AI

Vera is a new programming language aimed at having LLMs write code by prioritizing “checkability” over human convenience. It requires explicit function contracts and typed effects, replaces variable names with structural (De Bruijn-style) references, and uses static and runtime verification (e.g., via Z3) to catch problems early. The article also notes that Vera supports common agent-facing tasks like typed JSON/HTTP/LLM calls, compiles to WebAssembly, and reports early benchmark results (VeraBench) suggesting some models produce more correct Vera than comparable languages.