Decision Workspace
lean-dup-worker vs lean-dup-diagnostics vs lean-dup-project
Side-by-side comparison of Rust crates
43
lean-dup-worker
experimentalv0.2.2
Lean worker process boundary for lean-dup: per-toolchain capability resolution over the versioned worker protocol.
44
lean-dup-diagnostics
experimentalv0.2.2
Progress, profiling, and structured errors for the lean-dup CLI.
44
lean-dup-project
experimentalv0.2.2
Lake workspace discovery and mathlib contract resolution for lean-dup.
Core Metrics
| lean-dup-worker | lean-dup-diagnostics | lean-dup-project | |
|---|---|---|---|
| Health Score | 43 | 44 | 44 |
| Total Downloads | 45 | 50 | 45 |
| 30d Downloads | 0 | 0 | 0 |
| Dependents | 4 | 6 | 4 |
| Releases | 1 | 1 | 1 |
| Last Updated | 16d ago | 16d ago | 16d ago |
| Age | 16d | 16d | 16d |
Health Breakdown
lean-dup-worker
Maintenance
12
Quality
12
Community
7
Popularity
2
Documentation
10
lean-dup-diagnostics
Maintenance
12
Quality
13
Community
7
Popularity
2
Documentation
10
lean-dup-project
Maintenance
12
Quality
13
Community
7
Popularity
2
Documentation
10
Technical Details
| lean-dup-worker | lean-dup-diagnostics | lean-dup-project | |
|---|---|---|---|
| Version | 0.2.2 | 0.2.2 | 0.2.2 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | MIT OR Apache-2.0 | MIT OR Apache-2.0 | MIT OR Apache-2.0 |
| Dependencies | 8 | 4 | 6 |
| Crate Size | 28KB | 8KB | 11KB |
| Features | 0 | 0 | 0 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2024 | 2024 | 2024 |
| MSRV | — | — | — |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •lean-dup-diagnostics leads with a health score of 44/100, but none of the options score above 80.