aallan/vera

Vera: a programming language designed for LLMs to write

411Stars on the repository
4Mods indexed here, across every type
7d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

vera AGENTS.md

01

aallan/vera

Instructions file CodexOpenCode

Instructions for aallan/vera, covering agents.md — instructions for ai agents, for agents writing vera code, conformance programs as reference, workflow and commands.

411 7d ago A 4,376 tokens original MIT

vera CLAUDE.md

02

aallan/vera

Instructions file

Instructions for aallan/vera, covering claude.md — project orientation for claude code, virtual environment, key commands, project layout and writing vera code.

411 7d ago A 6,084 tokens original MIT