GitHub repository: rtb-12/PolkaGuard
Primary language: Rust
Description: Rust-based CLI tool for analyzing Solidity smart contracts targeting PolkaVM