Skip to main content
Back to all repositories

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

4stars0forks0watchers/subscribers13issues
Language
Rust
License
MIT License
Size
2.8 MB
Created
Feb 11, 2026
Last Updated
Sep 17, 2026
Last Pushed
Sep 16, 2026

Available Plugins

Loading plugins...

Evaluate before installing

  1. Review the source repository, recent maintenance, and license on GitHub.
  2. Read the marketplace manifest and plugin source files before running commands.
  3. Start with the smallest required permission set and validate behavior in a safe environment.