AgentHub

vera-language

Write programs in the Vera programming language. Use when asked to write, edit, debug, or review Vera code (.vera files…

Live
Open / InstallLast updated July 27, 2026

Description

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. A reusable SKILL.md agent skill by aallan.

Author

aallan

Platform

cli

Pricing model

free

Categories

Skills

Tags

skill
claude-skill
github
en

Capabilities

  • 394 stars
  • SKILL.md package