Skip to content

Guide agents to the right --type: did-you-mean hint + rich types in --help#229

Open
ivanmkc wants to merge 1 commit into
masterfrom
type-hint
Open

Guide agents to the right --type: did-you-mean hint + rich types in --help#229
ivanmkc wants to merge 1 commit into
masterfrom
type-hint

Commits

Commits on Jul 4, 2026