Aura includes package management, an SDK, standard library, language server, Sentinel, FFI, Nexus plugins, Lumina, domain integrations and Android/release tooling. Each is presented with its real implementation status, not as a frozen platform guarantee.
`editors/sentinel-app` is a Tauri 2 + CodeMirror application. Aura’s language server owns proof streaming, structured diagnostics, counterexample transport, caches and debugger/performance integration so Sentinel can render language-specific workflows.
aura/proofsStreamStart
aura/proofsStreamCancel
start → phase(parse)
→ phase(sema)
→ phase(normalize)
→ phase(z3)
→ done | error | cancelledAura-specific protocol compatibility is versioned independently from standard LSP behavior.
`aura-pkg` contains cache, registry, resolver, lockfile, security, signing, metadata and command modules. Documentation historically describes more commands than the executable surface; this site lists only code-backed operations.
Public registry uptime/SLA is not claimed without operational evidence.
Plugin manifest/integration layer that can participate in build and verification paths.
AI-domain integration surface backed by a real workspace component; capability claims remain example/module-specific.
IoT-oriented extension path with verifier-related feature integration.
Lumina is a substantial plugin, not a mockup: the repo contains Raylib support, layout/render syntax, input handling, TextInput, Box, grid work, image fit and audio controls plus real examples. It remains an evolving application/UI layer rather than a frozen cross-platform GUI contract.
import aura::lumina
cell main():
layout:
Grid(columns: 2, gap: 16) {
render: Box(...)
render: Button(label: "Play") {
on_click: ~> { ... }
}
}Setup automation prepares Android toolchains used by the repository workflow.
`aura-rt` is exercised for aarch64-linux-android and armv7-linux-androideabi paths in CI.
Sample APK automation plus emulator/build helper tooling demonstrate a vertical integration slice.