rustio rustio.net

Decision Workspace

elicit_proofs

Side-by-side comparison of Rust crates

47
elicit_proofs
experimentalv0.11.0

Formal verification proof harnesses for the elicitation ecosystem (Kani, Creusot, Verus)

Core Metrics

elicit_proofs
Health Score47
Total Downloads12
30d Downloads0
Dependents0
Releases1
Last Updated6d ago
Age6d

Health Breakdown

elicit_proofs
Maintenance
13
Quality
14
Community
6
Popularity
1
Documentation
13

Technical Details

elicit_proofs
Version0.11.0
Stable (≥1.0)✗ No
LicenseApache-2.0 OR MIT
Dependencies7
Crate Size122KB
Features4
Yanked %0.0%
Edition2024
MSRV—
Owners1

Links

elicit_proofs detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

  • •elicit_proofs leads with a health score of 47/100, but none of the options score above 80.