Emmyhack

Emmyhack/Truent

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

4 stars 0 forks 4 watchers Rust MIT License

3 Open Issues Need Help Last updated: Oct 22, 2026

Open Issues Need Help

View All on GitHub

soroban: add a passing good-fixture for a TTL-extended persistent write 14 days ago

good first issue soroban tests

Emmyhack/Truent

4

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

Rust

soroban: add a CI example that runs truent on a Soroban repo 14 days ago

good first issue soroban docs

Emmyhack/Truent

4

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

Rust

soroban: map the three detectors missing a CWE in the taxonomy 14 days ago

good first issue soroban detector

Emmyhack/Truent

4

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

Rust