2 items across the graph — tagged with Contracts.
Vera: a programming language designed for LLMs to write
Specs that enforce themselves. Turn specs into contracts that can't be broken by helpful LLMs.
