Emmyhack

Emmyhack/Truent

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

3 good first / help-wanted issues · Rust · last activity Oct 22, 2026

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 3 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 3 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 3 days ago

good first issue soroban detector

Emmyhack/Truent

4

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

Rust