CLI
The verum binary is self-contained: compiler, interpreter, linker,
Build System
verum build runs the full compilation pipeline (see
Cog Packages
A cog is Verum's unit of distribution — a self-describing archive
LSP
Language Server Protocol 3.17 — diagnostics, completion, hover, refinement counter-examples, CBGR hints.
VS Code Extension
Verum Language Support for Visual Studio Code — syntax, LSP, inlay hints, debugger, profile dashboard.
Playbook
The interactive terminal-UI for exploring a Verum project — discover, invoke, verify, profile.
REPL
Interactive REPL backed by the VBC interpreter — bind values, define functions, verify, inspect bytecode.