skills.rest
aallanaallanCommunity·1 Agent Skills Included

vera

Verified programming language with mandatory contracts and WebAssembly compilation

Writes, checks, and verifies Vera programs using mandatory contracts, typed slot references, and explicit effect declarations. Eliminates naming bugs, hidden side effects, and SQL injection by making every function statically provable before it compiles. Compiles verified code to WebAssembly for the command line, browser, or WASI hosts, with machine-readable errors that guide fast fixes.
406|26
↗
npx skills add aallan/vera --all -g -y
Available:

Instructs your AI agent on the full Vera workflow — writing code with contracts and slot references, running check/verify/compile commands, interpreting error codes, and using the language server's proof-delta methods to confirm edits still verify.

All Skills in This Repository (1)

Pure Emerald Level Indicators
📦 In Repo
aallanaallan

vera-language

Create and verify Vera programs with static type checking and Z3 contracts.

Community
Advanced

Frequently Asked Questions

FAQPage Schema
How to install Vera?▼

Run `npx skills add aallan/vera --all -g -y` in your terminal to install the Vera language skill globally for your agent.

What is the Vera programming language?▼

Vera is a statically typed, purely functional language designed for AI models to write. It replaces variable names with typed slot references, requires verifiable contracts on every function, and compiles to WebAssembly.

How does Vera prevent bugs in generated code?▼

Every function must declare preconditions, postconditions, and effects, which the Z3 solver proves statically before compilation. Code that violates its contracts simply does not compile.

Can Vera stop SQL injection attacks?▼

Yes. Vera requires SQL text to be written literally in source, so queries built from outside data are rejected at compile time with a fix pointing to safe placeholders.

Does Vera work with Claude Code and other AI agents?▼

Yes. Vera ships AGENTS.md and CLAUDE.md orchestration files plus a language server with proof-delta methods, so agents get verification feedback at editor speed.

Related Repositories in Software Engineering

View All in Software Engineering→
openclawopenclaw
388.4k

openclaw

Run a personal AI assistant across your devices and chat apps

Official📦 120 Skills
obraobra
280.0k

superpowers

Gives coding agents a disciplined workflow from idea to merged code

Community📦 15 Skills
facebookfacebook
248.4k

react

AI agent skills for building, testing, and porting React core

Official📦 14 Skills