Download AuraSDK v0.2.0
AuraSDK is a self-contained, portable folder with aura, aura-lsp, the standard library, offline docs, and bundled Z3 DLLs on Windows.
Build the zip locally with tools/release/release.py and drop it into website/public/downloads as aura-sdk.zip.
After extracting, run install.ps1 (Windows) or install.sh (Unix).
Download Aura Sentinel v0.2.0
Aura Sentinel is the developer IDE layer for Aura: a VS Code extension bundling the Aura language server and proof-driven editor tools (live Z3 diagnostics, Proofs panel, Nexus plugin UX).
Build the VSIX locally with tools/release/release.py --website. The release script writes aura-sentinel.vsix into website/public/downloads.
Install it in VS Code via Extensions: Install from VSIX....
Download Aura Sentinel App v0.2.0
Aura Sentinel App is the standalone desktop shell for Aura Sentinel. It reuses the same proof-driven LSP APIs (including aura/proofs) outside VS Code.
Build it locally with tools/release/release.py --sentinel-app --website. The release script writes aura-sentinel-app.exe into website/public/downloads.
Installer builds are published as aura-sentinel.msi and aura-sentinel-setup.exe.