Get automated coding with Vera, a language for LLMs, designed for founders leveraging AI agents, built with Python.
384 stars20 forksPythonQuality 8/10Updated 7/3/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
Install / run
git clone https://github.com/aallan/vera.git && cd vera
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
Quick start
1Read the Vera language specification in the README to understand the syntax and capabilities
2Run the example scripts in the `examples` directory to see Vera in action
3Create a new file with a `.vera` extension and start writing Vera code
4Use the `vera` command to compile and run your Vera code, generating equivalent Python code
5Integrate the generated Python code into your existing projects
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
Topics
algebraic-effects
contracts
formal-verification
llm
parser
programming-language
verification
webassembly
What's inside โ free to inspect
No purchase needed
Read the entire source before you build โ unlike paid marketplaces that hide it behind a buy button.