GitHub repository: DavisPL/cargo-sherlock
Primary language: Python
Description: Cargo Sherlock 🕵️ is an automated reasoning tool for modeling and understanding trust in the Rust supply chain ecosystem.