Toolchain & Project Layout

The code-backed Aura command surface, execution modes, backends and 22-crate workspace architecture.

Aura’s primary orchestration executable is the aura crate.

cargo run -p aura -- --help

Core commands

Current code-backed primary commands include:

build
run
verify
test
lint
pkg
init
fmt
bindgen

Profiles

dev
release
verify

Profiles select defaults for optimization and SMT behavior.

Execution modes

avm
llvm
hybrid

Important: current source explicitly notes that automatic AVM → LLVM promotion inside the AVM is not yet implemented. Hybrid is not a production JIT today.

Backend labels

c       C23-oriented emission path
llvm    feature-gated LLVM IR path
wasm    WASI/toolchain-mediated path

Backend maturity is not uniform. The C-oriented path is the default surface. LLVM IR emission is implemented and evolving; source still labels part of it as phase/skeleton work.

Build and run

aura build main.aura
aura run main.aura

The CLI also supports bridge headers, library search paths/libraries, optimization selection, SMT profiles and hot source monitoring in relevant commands.

Verify

aura verify main.aura --smt-profile ci

With Z3 linking available, build the aura crate with the z3 feature.

Workspace architecture

The Rust workspace contains 22 members spanning frontend, semantics, IR, verifier, AVM, backends, runtimes, package manager, LSP, SDK, bridge and plugins.

That separation is intentional: Aura is a language-platform monorepo rather than one compiler binary.