sentri-cli 0.2.0

Sentri: multi-chain smart contract security analyzer with static analysis, invariant checking, and vulnerability detection for Solana, EVM, and Move programs.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67

# sentri

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

[![Crates.io](https://img.shields.io/crates/v/sentri-cli)](https://crates.io/crates/sentri-cli)
[![Downloads](https://img.shields.io/crates/d/sentri-cli)](https://crates.io/crates/sentri-cli)
[![License: MIT](https://img.shields.io/badge/license-MIT-blue)](https://github.com/geekstrancend/Sentri/blob/main/LICENSE)

## 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

```bash
cargo install sentri-cli
```

Verify installation:
```bash
sentri doctor
```

### Usage

Initialize project:
```bash
sentri init
```

Run checks:
```bash
sentri check ./contracts --chain evm
```

Generate report:
```bash
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](https://github.com/geekstrancend/Sentri)

## License

MIT