# \#vor

**URL:** https://erlangforums.com/tag/vor/993.md

[Latest](https://erlangforums.com/latest.md) · [Categories](https://erlangforums.com/categories.md) · [Tags](https://erlangforums.com/tags.md)

---

## [Vor - a BEAM language where the compiler verifies what AI agents write](https://erlangforums.com/t/vor-a-beam-language-where-the-compiler-verifies-what-ai-agents-write/5578)

<div class="topic-metadata">

**Author:** [@fiberhog](https://erlangforums.com/u/fiberhog)\
**Replies:** 3\
**Last updated:** [June 9, 2026, 2:03am UTC](https://erlangforums.com/t/vor-a-beam-language-where-the-compiler-verifies-what-ai-agents-write/5578 "2026-06-09T02:03:55Z")

</div>

Vor compiles to OTP gen\_server/gen\_statem. You write agents with declared states, message protocols, and safety invariants. The compiler proves the invariants, a model checker explores multi-agent message interleavings, …