Repository navigation
feat(prompt): bound the skill listing and add an opt-in smaller tool list - #1428
Open
anandgupta42 wants to merge 10 commits into
Open
anandgupta42 wants to merge 10 commits into
anandgupta42 wants to merge 10 commits into
Commits
Commits on Oct 7, 2026
- authored andcommitted

Commits on Oct 8, 2026
- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- andcommitted
- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted
