rustio rustio.net

Decision Workspace

lean-toolchain

Side-by-side comparison of Rust crates

58
lean-toolchain
experimentalv0.1.10

Lean 4 toolchain discovery, fingerprinting, symbol allowlist, and build-script helpers reusable by downstream embedders' own build.rs scripts.

Core Metrics

lean-toolchain
Health Score58
Total Downloads268
30d Downloads0
Dependents31
Releases10
Last Updatedtoday
Age7d

Health Breakdown

lean-toolchain
Maintenance
17
Quality
13
Community
10
Popularity
3
Documentation
15

Technical Details

lean-toolchain
Version0.1.10
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies5
Crate Size46KB
Features0
Yanked %0.0%
Edition2024
MSRV1.91
Owners1

Links

lean-toolchain detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

  • •lean-toolchain leads with a health score of 58/100, but none of the options score above 80.