Claude Code · Claude · GitHub
Vera: a programming language designed for machines to write
Compiled by KHAO Editorial — aggregated from 1 source. See llms.txt for citation guidance.
◌ Single Source
Vera (v-ERR-a) is a programming language designed for large language models to write.
Key facts
- Vera is in active development at v0.0.127, 810+ commits, 127 releases, 3,638 tests, 96% code coverage, 82 conformance programs, 33 examples, and a 13-chapter specification
- VeraBench, a 50-problem benchmark across 5 difficulty tiers, now covers 6 models across 3 providers (v0.0.7)
- The headline result: Kimi K2.5 achieves 100% run_correct on Vera, beating both Python (86%) and TypeScript (91%)
- There are no variable names.0 is the most recent Int binding;.1 is the one
Summary
There are no variable names.0 is the most recent Int binding;.1 is the one before. The requires clause is a precondition the compiler checks at every call site. Programming languages have always co-evolved with their users. If models become the primary authors of code, it follows that languages should adapt to that too. The evidence suggests the biggest problem models face isn't syntax, instead it's coherence over scale. Vera addresses this by making everything explicit and verifiable. The model doesn't need to be right, it needs to be checkable.