lean-toolchain
v0.3.0 ExperimentalLean 4 toolchain discovery, fingerprinting, symbol allowlist, and build-script helpers reusable by downstream embedders' own build.rs scripts.
Quick Verdict
- ✓Actively maintained (updated 24d ago)
- !Pre-1.0: API may have breaking changes
- ✓Trusted by 129 crates
- ✓Permissive license (MIT OR Apache-2.0)
Security
Deep Insights
254 downloads in the last 30 days, down 71% from the previous period. May indicate migration to alternatives.
129 crates depend on lean-toolchain. Reasonable ecosystem adoption, though not yet a core dependency.
Notable dependents include lean-rs, lean-rs-host, lean-rs-worker-protocol, lean-rs-worker-parent, lean-rs-worker-child. When high-quality crates choose lean-toolchain, 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 lean-toolchain