Decision Workspace
provable-contracts-macros vs amari-flynn vs utoipa-gen
Side-by-side comparison of Rust crates
52
provable-contracts-macros
experimentalv0.2.0
Proc macros for compile-time contract enforcement — #[contract] attribute
58
amari-flynn
experimentalv0.19.1
Probabilistic contracts and verification - named after Kevin Flynn's acceptance of spontaneous perfection
56
utoipa-gen
growingv5.4.0
Code generation implementation for utoipa
Core Metrics
| provable-contracts-macros | amari-flynn | utoipa-gen | |
|---|---|---|---|
| Health Score | 52 | 58 | 56 |
| Total Downloads | 7.7K | 613 | 22.6M |
| 30d Downloads | 6.5K | 149 | 2.8M |
| Dependents | 18 | 17 | 80 |
| Releases | 3 | 17 | 58 |
| Last Updated | 4d ago | 23d ago | 284d ago |
| Age | 1m | 4m | 4y 2m |
Health Breakdown
provable-contracts-macros
Maintenance
14
Quality
13
Community
8
Popularity
5
Documentation
12
amari-flynn
Maintenance
19
Quality
15
Community
9
Popularity
3
Documentation
12
utoipa-gen
Maintenance
9
Quality
19
Community
8
Popularity
8
Documentation
12
Technical Details
| provable-contracts-macros | amari-flynn | utoipa-gen | |
|---|---|---|---|
| Version | 0.2.0 | 0.19.1 | 5.4.0 |
| Stable (≥1.0) | ✗ No | ✗ No | ✓ Yes |
| License | MIT | MIT OR Apache-2.0 | MIT OR Apache-2.0 |
| Dependencies | 4 | 6 | 22 |
| Crate Size | 7KB | 25KB | 156KB |
| Features | 0 | 2 | 20 |
| Yanked % | 0.0% | 0.0% | 1.7% |
| Edition | 2024 | 2021 | 2021 |
| MSRV | 1.85 | 1.75 | 1.75 |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •amari-flynn leads with a health score of 58/100, but none of the options score above 80.
- •utoipa-gen has the most downloads (22.6M), suggesting wider adoption.
- •provable-contracts-macros, amari-flynn are pre-1.0 — API may change.