Skip to content

docs: lead quick start with the released CLI - #15

Merged
rustfuture merged 1 commit into
mainfrom
docs/quickstart-usability
Oct 2, 2026
Merged

rustfuture merged 1 commit into
mainfrom
docs/quickstart-usability

Conversation

@rustfuture

@rustfuture rustfuture commented Oct 2, 2026 •

Copy link
Copy Markdown
Owner

New users can try the verifier-gate demo with the released CLI before installing Rust. Document the installer, PATH setup, source-build prerequisites and the optional live-provider path.

Validation

All listed checks completed locally with exit code 0. Run output paths used temporary directories to preserve committed evidence.

git diff --check
cargo fmt --check
cargo check --locked --all-targets
cargo clippy --locked --all-targets -- -D warnings
cargo test --locked
cargo build --locked
cargo run --bin reflex -- demo verifier-gate
cargo run --bin reflex -- run --provider mock --context "Check whether this worker patch is safe" --risk low
cargo run --bin reflex -- shadow run
cargo run --bin reflex -- pareto
REFLEX_INSTALL_DIR=<temporary directory>/bin sh <downloaded install.sh>
reflex --version
reflex demo verifier-gate

Installer tested on Apple Silicon macOS with v0.4.0; live provider calls and the Windows installer were not run.

@rustfuture
rustfuture merged commit bc46cf7 into main Oct 2, 2026
7 checks passed
@rustfuture
rustfuture deleted the docs/quickstart-usability branch October 2, 2026 08:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant