Users can now see repository label definitions, inspect applied issue and PR labels in JSON and terminal output, filter lists with repeatable --label, and edit labels with --add-label and --remove-label. The MCP tools expose the same operations.
Filters require every requested label and apply before the result limit. Edits reject unknown, ambiguous, or conflicting names and incomplete definition catalogs. They preserve unrelated ticket fields and check the current CID. Explicit label edits also remove references to deleted definitions with a warning so the knot can accept the updated record. Repository topic flags retain their existing behavior.
Validated with nix fmt, nix build, all 75 MCP tests, and the website build, which generates command documentation from help text. A recorded live CLI test on dummy issue #87 verified label reads, add/remove, combined filters, body-edit preservation, no-op edits, invalid-name and stale-CID rejection, and non-JSON presentation. The dummy issue is closed with its labels removed.
The disposable upstream integration test compiles but could not run because its server was unavailable. Live PR writes, permission-denied writes, and orphan cleanup were not exercised against production.
Closes #84.