sentri-cli 0.1.10

Sentri CLI tool for blockchain invariant checking
sentri-cli-0.1.10 is not a library.

sentri

Multi-chain smart contract invariant checker for EVM, Solana, and Move.

Crates.io Downloads License: MIT

What is Sentri?

Sentri is a unified invariant checking framework for smart contracts. Define security properties once in Sentri's DSL and verify them across EVM, Solana, and Move contracts automatically.

Quick Start

Install

cargo install sentri-cli

Verify installation:

sentri doctor

Usage

Initialize project:

sentri init

Run checks:

sentri check ./contracts --chain evm

Generate report:

sentri check ./contracts --format json --output report.json

Supported Chains

Chain Language Checks Status
EVM Solidity, Vyper 10 built-in invariants ✅ Stable
Solana Rust (Anchor, native) 7 built-in invariants ✅ Stable
Move Move (Aptos, Sui) 5 built-in invariants ✅ Stable

Features

  • 22 built-in security invariants
  • Custom invariant DSL
  • JSON/HTML/text reports
  • CI/CD integration
  • Violation suppression
  • Cross-platform binaries

Documentation

Full documentation: github.com/geekstrancend/Sentri

License

MIT