Nyx CLI Installation & Setup Guide
The Nyx Command-Line Interface (nyx) is the official cross-platform compiler, runner, formal verification engine, and package manager for the sovereign systems programming ecosystem.
1 Download the Official Nyx SDK Package
Download the pre-compiled binary distribution archive:
2 Option A: 1-Click Automatic Install (Recommended)
1. Right-click the downloaded .zip file and choose "Extract All...".
2. Open the extracted folder and double-click install.bat.
3. The script automatically installs Nyx to C:\nyx and registers the bin\ directory in your User PATH environment variable.
2 Option B: Manual Setup
If you prefer manual extraction:
2. Press Windows Key -> type "Environment Variables" -> click "Edit the system environment variables"
3. Click "Environment Variables..." -> Under "User variables", select "Path" -> Click "Edit"
4. Click "New" -> Add: C:\nyx\bin -> Click OK
3 Verify Installation
Open a new Command Prompt or PowerShell window and run:
Nyx Sovereign Systems Compiler v0.22.0 (x86_64-pc-windows-msvc)
Zero-GC Region Memory • Powered by 9jaonCloud
C:\> nyx run C:\nyx\examples\hello.nyx
Hello from the Nyx Sovereign Systems CLI!
CLI Command Reference
| Command | Description | Example Usage |
|---|---|---|
nyx run <file.nyx> |
Compiles to memory and executes instantly with zero disk residue. | nyx run app.nyx |
nyx build <file.nyx> |
Generates a release-optimized standalone native binary (.exe or ELF). |
nyx build server.nyx -o server.exe |
nyx check <file.nyx> |
Runs fast static region inference and SMT formal verification without compiling. | nyx check main.nyx |
nyx repl |
Launches the interactive Read-Eval-Print Loop. | nyx repl |
nypm install <pkg> |
Installs verified cryptographic packages from the decentralized registry. | nypm install @std/crypto |