Install heypocket-reader skill for Pi CLI
Session from heypocket-reader-sessions on Hugging Face by thomasmustier · MIT · condensed by Coders Talk
26ssession
0interventions
GOAL
Fetch a GitHub-hosted skill (tmustier/heypocket-reader) and install it for use with the Pi agent.
- +0Prompt · +0Get my skill from tmustier/heypocket-reader on GitHub and install it for pi
- +0mAgent did · +0mChecked existing installed extensions and looked up the pi install command usage
- +0mFail · +0mTried `pi install github:tmustier/heypocket-reader`, which failed with a path error
- +0mFail · +0mTried `pi install tmustier/heypocket-reader`, also failed with a path error
- +0mAgent did · +0mUsed the full HTTPS GitHub URL with pi install, which successfully cloned and installed the skill
- +0mAgent did · +0mVerified installed files and read SKILL.md to confirm the skill's functions (get_recordings, get_recording_full, search_recordings) and its auth requirements
- +0mOutcome · +0mheypocket-reader skill installed and auto-discoverable by Pi, exposing three functions for reading Pocket AI recordings
VERDICT
Next time I'd just give the full GitHub URL up front since `pi install` doesn't resolve shorthand owner/repo or github: prefixes on its own. The agent figured out the right format itself after two failed attempts, so no real correction was needed from me here.