rustio rustio.net

Decision Workspace

provable-contracts

Side-by-side comparison of Rust crates

54
provable-contracts
experimentalv0.2.0

Papers to Math to Contracts in Code — YAML contract parsing, validation, scaffold generation, and Kani harness codegen for provable Rust kernels

Core Metrics

provable-contracts
Health Score54
Total Downloads2.2K
30d Downloads2.2K
Dependents19
Releases3
Last Updated4d ago
Age1m

Health Breakdown

provable-contracts
Maintenance
14
Quality
14
Community
10
Popularity
4
Documentation
12

Technical Details

provable-contracts
Version0.2.0
Stable (≥1.0)✗ No
LicenseMIT
Dependencies7
Crate Size240KB
Features2
Yanked %0.0%
Edition2024
MSRV1.85
Owners1

Links

provable-contracts detail →GitHub ↗crates.io ↗

Quick Verdict

  • •provable-contracts leads with a health score of 54/100, but none of the options score above 80.