Back to all repositories
AS
sui-prover
Formal Verification tool for Move on Sui
43stars12forks2watchers/subscribers56issues
- Language
- Rust
- Size
- 261.0 MB
- Created
- Apr 16, 2025
- Last Updated
- Aug 19, 2026
- Last Pushed
- Aug 19, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.