← Command reference · lean-pkg claims · CLI overview
lean-pkg claims list
table of cached claims with status and trust.
Usage
lean-pkg claims list [common flags] [NAME]
[common flags]: --json, --commit, --push, --no-commit, also accepted before the command name; see the CLI overview.
Arguments and flags
| Argument or flag | Description |
|---|---|
NAME |
Details
| Form | What it does | Key flags |
|---|---|---|
claims list [NAME] |
table of cached claims: id, kind, status, trust (derived from the receipts), pin, declaration; with NAME it also states the package’s coverage (synced, empty, unsynced or none), and with none cached it prints NAME: coverage: none (cached_claims: 0, claims.yaml: absent), any legacy *claims.json in the checkout, and the next command |
JSON output
Top-level keys of --json, as recorded in the golden contract (tests/golden/json-keys.json):
claims-list(exit 0):claims,ok