Aura distribution

Get the language. Get the proof tools. Get Sentinel.

Aura's repository contains a real release pipeline for a portable SDK, the language server, the Sentinel VS Code extension and standalone desktop artifacts. This page is the public distribution surface for those artifacts while keeping their actual deployment state visible.

Download AuraSDK Sentinel downloads Build from source

Stable aliasesThe release tool copies latest artifact names into website/public/downloads.

Deterministic packagingSDK ZIP metadata and entry ordering are normalized by release.py.

Provenance-readyOptional SHA-256 attestation JSON can be emitted beside release artifacts.

AuraSDK

One portable kit for the core Aura developer environment.

The SDK release path stages the compiler CLI and language server together with the SDK standard library, documentation, styles and installer scripts. The website's stable latest alias is generated by the repository release tooling.

Getting started

Portable SDKChecking artifact

AuraSDK

The complete portable developer bundle produced by Aura's release tool: the Aura CLI, aura-lsp, standard library, offline SDK documentation, styles and install scripts. Windows staging can also bundle the Z3 runtime DLL set.

Primary entry point for using Aura outside a source checkout.

aura-sdk.zipChecking…

Build / stage the SDK and VSIXpython tools/release/release.py --website --attest

This command builds the SDK, packages the Sentinel VSIX and places stable aliases under website/public/downloads/.

Aura Sentinel

Editor integration and a standalone proof-driven desktop environment.

Sentinel is not one binary. Aura's release path has separate surfaces for the VS Code extension, the standalone desktop executable and Windows installer bundles.

Sentinel architecture

VSIXChecking artifact

Aura Sentinel for VS Code

VS Code integration for Aura's language server and proof-driven editor surfaces.

aura-sentinel.vsixChecking…

Desktop executableChecking artifact

Aura Sentinel App

Standalone Sentinel desktop shell with the Aura language-server sidecar staged into the application bundle.

aura-sentinel-app.exeChecking…

Windows installerChecking artifact

Aura Sentinel MSI

MSI installer generated by the Sentinel Tauri release path when an MSI bundle is produced.

aura-sentinel.msiChecking…

Windows installerChecking artifact

Aura Sentinel Setup

NSIS-style setup executable generated by the Sentinel Tauri release path when that bundle is produced.

aura-sentinel-setup.exeChecking…

Build / stage the complete Sentinel distributionpython tools/release/release.py --sentinel-app --website --attest

On Windows, the Tauri build may additionally yield MSI and NSIS setup artifacts; when they exist, release.py copies their stable latest names into the website download directory.

What is inside

The download center mirrors Aura's actual release architecture.

The website does not invent package names. The stable aliases below are the names release.py itself writes into website/public/downloads when those artifacts are produced.

aura-sdk.zipPortable AuraSDK

aura-sentinel.vsixVS Code extension

aura-sentinel-app.exeStandalone Sentinel app

aura-sentinel.msiWindows MSI

aura-sentinel-setup.exeWindows setup executable

Source build

Build Aura directly from the repository

git clone https://github.com/danielforface/aura-lang.git
cd aura-lang

cargo build --workspace
cargo run -p aura -- --help

Verification

Enable the Z3-backed verifier path

cargo run -p aura --features z3 -- \
  verify main.aura --smt-profile fast

Aura is more than the compiler binary.

The public distribution surface keeps the SDK, proof tooling, language server and Sentinel together so the product can be installed as the platform it actually is.

Release model