Lean-cli is a go app (—) that uses 29 detected dependencies across 4 categories including Networking, Media, Build Tool. It is not code-signed. 10 MB on Windows (x64). Last verified June 2026.
What is Lean-cli built with?
29 detected dependencies across 4 categories.
Networking
2Sign up to see Networking details
Sign Up FreeMedia
1Sign up to see Media details
Sign Up FreeBuild Tool
1Sign up to see Build Tool details
Sign Up FreeOther
24Sign up to see Other details
Sign Up FreeDot shows detection confidence; hover a technology for its evidence source. Higher confidence means a stronger extraction signal (e.g. a manifest entry vs. a binary string match).
Analyzed binary
SHA-256 of the exact binary Lean-cli was analyzed from.
No signal
No signal — this field was not captured in the extraction on record. It is populated on re-extraction, not absent from the app.
When was Lean-cli last updated?
1 tracked releases since June 2026.
Last verified June 22, 2026