Installation

Select an installation method for your platform:

Cargo

Install Cargo

The easiest way to install Cargo is to install the latest stable release of Rust.

Install Leo

cargo install leo-lang leo-fmt leo-lsp

This will install the leo, leo-fmt, and leo-lsp executables at ~/.cargo/bin/.

cargo binstall

Install cargo-binstall

cargo-binstall downloads pre-compiled binaries instead of building from source, cutting install time from minutes to seconds.

cargo install cargo-binstall

Install Leo via binstall

cargo binstall leo-lang leo-fmt leo-lsp

To install a specific version:

cargo binstall [email protected] [email protected] [email protected]

note

cargo binstall metadata is only present for versions after 4.0.2. For earlier versions, use cargo install instead.

tip

If no pre-built binary is available for your platform, cargo binstall falls back to building from source automatically.

Pre-Built Binaries

Download Pre-Built Binaries

Pre-built binaries are available for every release from GitHub Releases.

Each release publishes a ZIP archive per platform:

Platform	Target
Linux (x86_64, glibc)	x86_64-unknown-linux-gnu
Linux (x86_64, musl)	x86_64-unknown-linux-musl
macOS (Intel)	x86_64-apple-darwin
macOS (Apple Silicon)	aarch64-apple-darwin
Windows (x86_64)	x86_64-pc-windows-msvc

Archives are named leo-lang-v{version}-{target}.zip (for example leo-lang-v4.0.1-aarch64-apple-darwin.zip).

Install

1. Download the ZIP for your platform from the latest release.

2. Extract the archive.

3. On macOS/Linux, make the binaries executable and move them onto your PATH:

   chmod +x leo leo-fmt leo-lsp
   mv leo leo-fmt leo-lsp /usr/local/bin/

4. Verify the installation:

   leo --version

note

Plugin binaries such as leo-fmt and leo-lsp are released under their own crate tags (for example leo-fmt-v4.1.0, leo-lsp-v4.1.0). Download the matching plugin archives from the same releases page.

Build from Source

Install Rust

Install the latest stable release of Rust. You can verify the installation by running:

cargo --version

Install Git

Install the latest version of Git. You can verify the installation by running:

git --version

Build Leo from Source Code

# Download the source code
git clone https://github.com/ProvableHQ/leo
cd leo
# Build and install Leo
cargo install --path crates/leo
# Build and install the formatter plugin
cargo install --path crates/fmt
# Build and install the language server plugin
cargo install --path crates/lsp

This will install the leo, leo-fmt, and leo-lsp executables at ~/.cargo/bin/.

To use Leo, run

leo

Updating Leo and Plugins

Update Leo and its plugins with the installation method you used above. For a Cargo installation, run:

cargo install leo-lang leo-fmt leo-lsp

Leo does not check for new releases or show release notices. leo update updates project dependencies in leo.lock; it does not install Leo or its plugins.

---

For distribution maintainers and detailed artifact information, see the Binary Distribution Reference.