mathlibtools contains leanproject, a supporting tool for Lean mathlib.

Lean is installed by the port math/lean.