framework
Lean's build system, described as the equivalent of Rust's Cargo.
No current published clusters are mapped here yet.