Skills
.Work. You
Rest

vera-language

Community

Write verifiable LLM-native code.

Software Engineering#webassembly#contracts#programming language#llm native#algebraic effects#vera#verifiable code
Authoraallan
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill enables you to write, debug, and review code in the Vera programming language, designed specifically for AI agents.

Core Features & Use Cases

  • Verifiable Code: Write programs with mandatory contracts, algebraic effects, and typed slot references for maximum checkability.
  • LLM-Native Syntax: Designed for AI code generation, minimizing naming errors and maximizing explicit, machine-readable instructions.
  • Use Case: Generate a Vera program that safely divides two numbers, ensuring the divisor is never zero, and then verify its correctness using the vera verify command.

Quick Start

Use the vera-language skill to write a program that calculates the factorial of a number.

Dependency Matrix

Required Modules

None required

Components

scriptsreferencesassets

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: vera-language
Download link: https://github.com/aallan/vera/archive/main.zip#vera-language

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.