provable-contracts
v0.3.1 ExperimentalPapers to Math to Contracts in Code — YAML contract parsing, validation, scaffold generation, and Kani harness codegen for provable Rust kernels
Quick Verdict
- !Pre-1.0: API may have breaking changes
- ✓Trusted by 143 crates
- ✓Permissive license (MIT)
Security
Deep Insights
1.8K downloads in the last 30 days (61/day). Volume is roughly flat compared to the previous period.
143 crates depend on provable-contracts. Reasonable ecosystem adoption, though not yet a core dependency.
The primary maintainer publishes 275 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.
Notable dependents include aprender-core, aprender-train, aprender-serve, aprender-orchestrate, aprender-simulate. When high-quality crates choose provable-contracts, it's a strong quality signal.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata
Download Trend
Top Dependents
Most downloaded crates that depend on provable-contracts