@jarrki/my-pi-tool-picker
v0.1.0
Published
Pi extension that adds /tools, a TUI picker for enabling and disabling tools and tool groups.
Maintainers
Readme
@jarrki/my-pi-tool-picker
Pi extension that adds /tools, a TUI picker for enabling and disabling tools.
Install from npm
pi install npm:@jarrki/my-pi-tool-pickerInstall locally
pi install /path/to/my-pi/packages/tool-pickerTest without installing
pi -e /path/to/my-pi/packages/tool-pickerCommand
/tools
