agentmods.dev

aallan/vera

Vera: a programming language designed for LLMs to write

This repository also configures its own agents. See what vera tells them →

Open on GitHub veralang.dev
418Stars on the repository
4Mods indexed here, across every type
yesterdayLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 2 mods

vera-language

01

aallan/vera

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.

not rated 418 changed today C 61 tokens original MIT

vera-language

02

aallan/vera

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.

not rated 418 changed today A SkillSpector: pass 61 tokens original MIT