naux --version
naux check hello.nx
naux run hello.nxInteractive input and deterministic file redirection use the same documented semantic path.
Install NAUX Learn
NAUX Learn is the small prebuilt profile for writing and running learner programs. Rust and Cargo are not required on the learner’s machine.
curl -fsSL https://github.com/x2t8/Naux/releases/download/v0.1.4-learn/nauxup.sh | shDownloads the pinned bundle, verifies SHA-256 and its inner manifest, then asks before installing.
naux run file.nxPlatform boundary
After installation
naux --version
naux check hello.nx
naux run hello.nxInteractive input and deterministic file redirection use the same documented semantic path.
nauxup status
nauxup doctor
nauxup uninstall --dry-run
nauxup uninstallUninstall previews and removes only receipt-owned paths.
Other surfaces
For contributors inspecting engines, evidence carriers, and native experiments. This path requires the Rust/Cargo seed.
.nx grammarSyntax highlighting and 11 starter snippets. The extension does not replace or modify the user’s icon theme.