workflowstacks
ai-agent

Vera: Empower Your LLMs with a Tailored Programming Language

Vera lets founders give LLMs a concise, verifiable language for writing code, ideal for AI‑driven development and formal verification.

From the repo · “Vera: a programming language designed for LLMs to write”

418 stars29 forksPythonGuide quality 8/10 · reviewed Oct 10Updated 10/23/2026100% free · open source
What it does

Vera allows startup founders to automate coding tasks by leveraging large language models (LLMs) to write Python code using a custom programming language

When to use it
  • •When you need to automate repetitive coding tasks
  • •When you want to leverage AI to generate code for your startup
  • •When you're looking for a way to integrate LLMs into your development workflow
Ready-to-paste prompt
vera examples/hello.vera
Heads up: Make sure you have Python 3.8 or later installed, as Vera relies on specific Python features
Saves to your device
Use with Claude
New

Skip the builder — one click puts this in Claude, Cursor, Antigravity and more.

🛠️ Technical setup

Expect 20–40 minutes in a terminal — or let your AI agent drive it.

Try it instantly — no install
Claude Code
mkdir -p ~/.claude/skills/vera && curl -fsSL https://workflowstacks.com/api/skills/vera/claude-skill -o ~/.claude/skills/vera/SKILL.md
Open in another AI app

Opens the app with this repo with the prompt ready to go — no copy-paste needed.

Connect the whole catalog (MCP)
claude mcp add --transport http workflowstacks https://workflowstacks.com/api/mcp

Adds a WorkflowStacks connector to Claude Code: search and load any skill here by chatting.

How Vera: Empower Your LLMs with a Tailored Programming Language works
Codeflow
Free to inspect

Vera: Empower Your LLMs with a Tailored Programming Language is a very large Python project (~153k lines across 160 code files, plus 301 test files). It is a full software project: use it through its install path rather than reading it end to end. Last commit this month, MIT license, has a test suite.

Size
Very large codebase
~153k lines · 160 code files · days to read — use, don't read
Setup
Developer setup
A real software project. Use it via its install path; don't expect to read it all.
Runs on
Python
No API keys detected
Python 99%JavaScript 1%
Where to start reading
  1. 1
    README.md
    Start here — what it does and how to install it
  2. 2
    AGENTS.md
    The instructions the AI actually follows
  3. 3
    vera/cli.py
    Where the program starts running
  4. 4
    pyproject.toml
    Dependencies and the commands it exposes
  5. 5
    vera/__init__.py
    Inside vera/ — the main logic begins here
What's in each folder
vera/Core code — the actual logic122 files
examples/Examples you can copy48 files
docs/Documentation20 files
scripts/Helper scripts37 files
editors/Folder21 files
changelog.d/Folder17 files
tests/Tests — proof it works758 files
assets/Images & static assets35 files
READMEHas testsDocumentedCI checksExamples includedMIT licenseUpdated this month
Quick Actions
Details
Creator
aallan
Language
Python
Category
ai-agent
Published
2/22/2026

Are you the creator of this tool? and earn 85% of every sale.

Show it off in your README:

Featured on WorkflowStacks
[![Featured on WorkflowStacks](https://workflowstacks.com/api/badge/vera.svg)](https://workflowstacks.com/skills/vera?utm_source=github&utm_medium=badge)
🔥 Hot this week, in your inbox
Skills like this, every Monday.

The five fastest-growing open-source AI skills, ranked by GitHub star growth. One email a week, unsubscribe anytime.

Related skills

More ai-agent tools founders pair with this one.

ai-agent★ 303,577
superpowers
An agentic skills framework & software development methodology that works.
ai-agent★ 277,153
Track GitHub Stars with 996.ICU
Get a popular GitHub star counter for your startup, backed by 276k+ GitHub stars, ideal for founders.
ai-agent★ 253,161
Linux – 251k+ GitHub stars for building custom kernel solutions
Get the complete Linux kernel source in C, perfect for founders needing deep system control or tailored OS components.
ai-agent★ 14,057
BrowserOS: Agentic Browser that Supercharges Your AI Workflow
BrowserOS lets founders run LLM-powered browsing tasks natively, boosting research speed on Linux, macOS and Windows. Backed by 14k+ GitHub stars, it’s the open-source alternative to ChatGPT Atlas and Perplexity Comet.
ai-agent★ 598
fcitx5-vinput
Voice input for Fcitx5 — local and cloud ASR, LLM rewriting, cross-distro packages
ai-agent★ 52,890
cherry-studio: Boost Founder Productivity with 300+ AI Assistants
A TypeScript‑based AI studio that lets founders chat, run autonomous agents, and tap into frontier LLMs—all from one interface. Ideal for fast‑moving startups seeking scalable AI support.