Show HN: Aver – a language designed for AI to write and humans to review

I’ve been building Aver around a simple question: If AI is going to write of the first draft, what should the source look like for the human reviewer? Aver is an experimental statically typed language and toolchain for AI-written, human-reviewed code. My bet is that source code should carry than implementation. In most projects, implementation survives in the code, but intent lives in docs, decisions live in ADRs or tickets, and expected behavior lives in tests that may or may not stay close to what they describe.