# Install lean-cli with Homebrew, scoop

Command-line tool to develop and manage LeanCloud apps. Version 1.2.4 via Homebrew; verified 2026-07-26. Also installable with scoop: scoop install main/lean-cli.

## Install

```sh
sudo av install brew:lean-cli
```

Additional install commands:

### macOS

- Homebrew (100%):

```sh
brew install lean-cli
```

  Evidence: local Homebrew formula metadata

### Windows

- Scoop (92%):

```sh
scoop install main/lean-cli
```

  Evidence: Scoop official bucket manifest trees: bucket/lean-cli.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1

## Package facts

- **Package key:** brew:lean-cli
- **Package manager:** Homebrew
- **Version:** 1.2.4
- **Source summary:** Command-line tool to develop and manage LeanCloud apps
- **Homepage:** <https://github.com/leancloud/lean-cli>
- **Repository:** <https://github.com/leancloud/lean-cli>
- **Last updated:** 2026-07-26T13:41:00+02:00
- **Generated:** 2026-08-03T19:37:03+00:00

## Executables

- tds (alias)

## Install behavior

- Bottle: not available

## Freshness

- Page generated: 2026-08-03
- Package-manager version: 1.2.4
## Project history and usage

lean-cli is LeanCloud's command-line tool for developing and managing LeanCloud and TapTap Developer Services applications, especially LeanEngine projects.

### Project history

The repository README describes lean-cli as the LeanEngine command-line tool and documents Homebrew, GitHub release, and LeanCloud CDN installation paths. The public tags show the 1.0 line appearing in March 2022 and the 1.2 line continuing through May 2023.

### Adoption history

The tool is mainly adopted inside LeanCloud's platform workflow rather than as a general-purpose cloud CLI. Homebrew and Scoop packaging make it available to developers who deploy LeanEngine apps from local machines.

### How it is used

The official CLI guide documents commands for login, app switching, local development with up, project creation, deployment, publishing, database access, file management, logs, debug console access, and environment inspection.

### Why package nerds care

lean-cli is package-manager-significant because it exposes a regional PaaS workflow through a native CLI. It is also a naming trap in package indexes because it is unrelated to QuantConnect's LEAN CLI and the Lean theorem prover ecosystem.

### Timeline

- 2022-03-29: v1.0.0 tag published for leancloud/lean-cli.
- 2022-10-19: v1.1.0 tag published.
- 2023-05-15: v1.2.4 tag published.

### Related projects

- Related projects and services include LeanCloud, LeanEngine, TapTap Developer Services, LeanDB, LeanCache, and LeanCloud's releases.leanapp.cn distribution channel.

### Sources

- <https://docs.leancloud.cn/en/sdk/engine/cli/>
- <https://formulae.brew.sh/formula/lean-cli>
- <https://github.com/leancloud/lean-cli>
- <https://github.com/leancloud/lean-cli/tags>


## Security Notes

infrastructure mutation or orchestration signal.

- **Geiger risk:** orange / medium
- infrastructure mutation or orchestration signal

## Other Package-Manager Records

- Scoop - main/lean-cli: normalized package name match | Scoop official bucket manifest trees: bucket/lean-cli.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1


## Combined YAML source

View the package source record on GitHub. [combined/lean-cli.yml](https://github.com/mxcl/pkgdb/blob/main/combined/lean-cli.yml)


## Sources

- pkg.so package database
- Geiger risk classifier
- curated package history
- pkgdb category and tag curation
- external package-manager database matches
- cross-ecosystem install command graph