aallan/vera
7 instruction files for AI agents, collected from aallan/vera. Install any of them at an exact version with mdr add aallan/vera/<name>.
AGENTS.md AGENTS.md file
aallan/vera · AGENTS.md
git:20261021.27f18f3 · audit A · 418 stars
CLAUDE.md CLAUDE.md file
aallan/vera · CLAUDE.md
git:20261022.17c1c36 · audit A · 418 stars
DESIGN.md DESIGN.md file
aallan/vera · DESIGN.md
git:20261015.07c784c · audit A · 418 stars
vera-language SKILL.md skill
aallan/vera · SKILL.md · Write programs in the Vera programming language. Use when asked to write, edit, debug, or review Vera code (.vera…
git:20261021.27f18f3 · audit A · 418 stars
vera-language SKILL.md skill
aallan/vera · docs/SKILL.md · Write programs in the Vera programming language. Use when asked to write, edit, debug, or review Vera code (.vera…
git:20261021.27f18f3 · audit A · 418 stars
git:20261021.27f18f3 · audit B · 418 stars
git:20261016.0fa40bd · audit A · 418 stars
Source