Installation
Install the latest version with:
cargo install sentri-cli --version 0.2.1Or download pre-built binaries from the Assets section below.
Quick Start
# Check an EVM contract
sentri check ./contracts --chain evm
# Check a Solana program
sentri check ./programs --chain solana
# Initialize config file
sentri init
# Verify installation
sentri doctorNew in v0.2.1
- Multi-chain invariant checking: EVM, Solana, and Move support
- 22 built-in security invariants: Comprehensive checks across all chains
- Structured output: JSON and HTML report generation
- Violation suppression: Inline comments and config-level control
- Health checks:
sentri doctorcommand for component verification - Professional CLI: Colored output, TTY detection, responsive design
- Cross-platform binaries: Linux (glibc/musl), macOS (Intel/ARM), Windows
Verification
Verify artifact integrity:
sha256sum -c SHA256SUMSMulti-Platform Binaries
- Linux (x86_64, glibc): Standard Linux distributions
- Linux (x86_64, musl): Alpine and other musl-based systems
- Linux (aarch64): ARM64 Linux servers
- macOS (Intel): x86_64 Mac systems
- macOS (Apple Silicon): aarch64 M1/M2/M3 Macs
- Windows (x86_64): Windows 10/11
All binaries are deterministically built and reproducible.