rustio rustio.net

Decision Workspace

cargo-certora-sbf

Side-by-side comparison of Rust crates

55
cargo-certora-sbf
experimentalv0.3.5

Build a program for Certora Verification using Certora's version of Solana Platform Tools

Core Metrics

cargo-certora-sbf
Health Score55
Total Downloads11.2K
30d Downloads1.1K
Dependents0
Releases7
Last Updatedtoday
Age11m

Health Breakdown

cargo-certora-sbf
Maintenance
19
Quality
12
Community
6
Popularity
5
Documentation
13

Technical Details

cargo-certora-sbf
Version0.3.5
Stable (≥1.0)✗ No
LicenseApache-2.0
Dependencies17
Crate Size37KB
Features1
Yanked %0.0%
Edition2021
MSRV—
Owners1

Links

cargo-certora-sbf detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

  • •cargo-certora-sbf leads with a health score of 55/100, but none of the options score above 80.