Aver: Aver is a programming language for auditable AI-written code

https://myslop.shop/a/aver