Notes from the team building LemmaScript: how contracts hold up in real TypeScript codebases, what agents do with them, and what we learn shipping code that's correct by construction.https://lemmascript.org/en-ushttps://lemmascript.org/blog/shallow-embedding/https://lemmascript.org/blog/shallow-embedding/Most verification tools lower your program into logic formulas for a solver. LemmaScript turns it into readable, high-level Dafny instead. It's an unconventional trade made on purpose, because the proofs are written by LLMs. Wed, 12 Aug 2026 00:00:00 GMTinternalsdesignNada Amin, Fernanda Graciolli