Decision Workspace
elicitation_creusot vs amari-flynn vs aprender-contracts
Side-by-side comparison of Rust crates
51
elicitation_creusot
experimentalv0.11.0
Creusot formal verification proofs for elicitation contract types
57
amari-flynn
experimentalv0.23.0
Probabilistic contracts and verification - named after Kevin Flynn's acceptance of spontaneous perfection
57
aprender-contracts
experimentalv0.60.0
Papers to Math to Contracts in Code — YAML contract parsing, validation, scaffold generation, and Kani harness codegen for provable Rust kernels
Core Metrics
| elicitation_creusot | amari-flynn | aprender-contracts | |
|---|---|---|---|
| Health Score | 51 | 57 | 57 |
| Total Downloads | 99 | 1.2K | 5.1K |
| 30d Downloads | 0 | 0 | 1.0K |
| Dependents | 0 | 25 | 68 |
| Releases | 6 | 21 | 19 |
| Last Updated | 55d ago | 51d ago | 7d ago |
| Age | 4m | 7m | 3m |
Health Breakdown
elicitation_creusot
Maintenance
17
Quality
13
Community
6
Popularity
2
Documentation
13
amari-flynn
Maintenance
16
Quality
15
Community
10
Popularity
4
Documentation
12
aprender-contracts
Maintenance
20
Quality
10
Community
11
Popularity
4
Documentation
12
Technical Details
| elicitation_creusot | amari-flynn | aprender-contracts | |
|---|---|---|---|
| Version | 0.11.0 | 0.23.0 | 0.60.0 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | Apache-2.0 OR MIT | MIT OR Apache-2.0 | MIT |
| Dependencies | 26 | 6 | 12 |
| Crate Size | 172KB | 26KB | 352KB |
| Features | 28 | 2 | 2 |
| Yanked % | 0.0% | 0.0% | 5.3% |
| Edition | 2024 | 2021 | 2021 |
| MSRV | — | 1.75 | 1.89 |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •amari-flynn leads with a health score of 57/100, but none of the options score above 80.
- •aprender-contracts has the most downloads (5.1K), suggesting wider adoption.