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
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
Skill Claude CodeCodex
Write programs in the Vera programming language. Use when asked to write, edit, debug, or review Vera code (.vera files). Vera is a statically typed, purely functional language with algebraic effects, mandatory contracts, and typed slot references (@T.n) instead of variable names.
411 7d ago C 61 tokens
original MIT
Skill Claude CodeCodex
Write programs in the Vera programming language. Use when asked to write, edit, debug, or review Vera code (.vera files). Vera is a statically typed, purely functional language with algebraic effects, mandatory contracts, and typed slot references (@T.n) instead of variable names.
411 7d ago A 61 tokens
original MIT