Decision Workspace
lean-dup-capability-source vs lean-dup-diagnostics vs lean-dup-project
Side-by-side comparison of Rust crates
43
lean-dup-capability-source
experimentalv0.2.2
Packaged LeanDup capability Lean source and the per-toolchain build that produces its shared-facet dylib for lean-dup.
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-capability-source | lean-dup-diagnostics | lean-dup-project | |
|---|---|---|---|
| Health Score | 43 | 44 | 44 |
| Total Downloads | 26 | 50 | 45 |
| 30d Downloads | 0 | 0 | 0 |
| Dependents | 1 | 6 | 4 |
| Releases | 1 | 1 | 1 |
| Last Updated | 16d ago | 16d ago | 16d ago |
| Age | 16d | 16d | 16d |
Health Breakdown
lean-dup-capability-source
Maintenance
12
Quality
13
Community
6
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-capability-source | 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 | 6 | 4 | 6 |
| Crate Size | 30KB | 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.