aallan/vera
Vera: a programming language designed for LLMs to write
Vera is a programming language designed to make code written by large language models (LLMs) more reliable and easier to verify. It takes an LLM's code output and applies strict checks for correctness and consistency, ensuring that the logic holds up. Developers who use LLMs to generate code would use Vera to improve the quality and trustworthiness of that generated code.
Use this if you are a developer leveraging large language models for code generation and need to ensure the correctness, safety, and maintainability of the generated programs.
Not ideal if you are primarily writing code manually or are looking for a language focused on rapid prototyping with minimal formal verification.
Stars
40
Forks
2
Language
Python
License
MIT
Category
Last pushed
Mar 12, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/llm-tools/aallan/vera"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
langfengQ/verl-agent
verl-agent is an extension of veRL, designed for training LLM/VLM agents via RL. verl-agent is...
sotopia-lab/sotopia
Sotopia: an Open-ended Social Learning Environment (ICLR 2024 spotlight)
zhudotexe/redel
ReDel is a toolkit for researchers and developers to build, iterate on, and analyze recursive...
TIGER-AI-Lab/verl-tool
A version of verl to support diverse tool use
AMAP-ML/Tree-GRPO
[ICLR 2026] Tree Search for LLM Agent Reinforcement Learning