Installation

Geval ships as one executable. Use official GitHub Releases binaries in CI and locally. New to Geval? Watch the demo on YouTube.

Download (latest release)

Linux (x86_64)

curl -sSL https://github.com/geval-labs/geval/releases/latest/download/geval-linux-x86_64 -o geval && chmod +x geval

macOS (Apple Silicon)

curl -sSL https://github.com/geval-labs/geval/releases/latest/download/geval-macos-aarch64 -o geval && chmod +x geval

Windows (x86_64) — download geval-windows-x86_64.exe from the Releases page. Run .\geval.exe demo in PowerShell from the same folder. Intel macOS: build from source if no release artifact is published for your arch.

Verify

./geval --version
./geval --help

You should see subcommands including check, init, demo, explain, validate-contract, approve, reject.

PATH (optional)

To run geval without ./:

sudo mv geval /usr/local/bin/geval
# or
mv geval ~/bin/geval

If another tool is also named geval, rename this binary (e.g. geval-gate) or ensure the release binary is first on PATH.

Updating

Re-download from /releases/latest/download/... and replace the file. Check ./geval --version after updating.

Build from source

Requires Rust:

git clone https://github.com/geval-labs/geval.git
cd geval
cargo build --release --manifest-path geval/Cargo.toml

Binary: geval/target/release/geval (or geval.exe on Windows).

Quickstart · GitHub Actions

Overview

Concepts

Authoring

CLI

CI/CD

Reference

Examples

Tools

Installation

Download (latest release)

Verify

PATH (optional)

Updating

Build from source

Next

​Download (latest release)

​Verify

​PATH (optional)

​Updating

​Build from source

​Next

Download (latest release)

Verify

PATH (optional)

Updating

Build from source

Next