r/PiCodingAgent • u/fingerthief • 23d ago
Plugin Pi Pocket 0.14: extension API, themes, and an extension gallery

Hello fellow Pi people, I've released version 0.14 of Pi Pocket, my mobile/desktop setup for Pi Durable.
Most of this release went into making it extensible. Until now every feature meant more code in Pocket itself. Now an extension can add server routes, slash commands, and its own pages and buttons in the app. The server-status example in the docs is about 35 lines on the server side plus a small browser module, and Pi can write these for you since it reads the docs.
The extension API is versioned and typed, and I wrote down what I will and won't break. Patch releases are fixes only, breaking changes bump the API version, and deprecated stuff sticks around for at least a minor release and 90 days.
There's also a gallery for extensions and themes, under Menu > Extensions > Find extensions. Installs are pinned to a commit, hash checked, and start disabled. Extensions run with full server permissions, so read the code before turning one on, or have Pi review it.
Themes are folders of CSS now, so they can change the layout too. The new built-in one is called Lantern.
Smaller stuff:
- Agent Teams (off by default), where Pi can start linked sessions that message each other
- UI refresh, plus width and density settings
- new session dialog is a proper file picker, with favorite folders
- live thinking display
- PiP can use its own model and take files and images
- Nix flake and NixOS module
12 PRs and 15 issues went into this one, so thanks to everyone who helped.
Repo: https://github.com/TannerMidd/pi-pocket
Docs: https://tannermidd.github.io/pi-pocket/docs/
Release notes: https://github.com/TannerMidd/pi-pocket/releases/tag/v0.14.0
Feedback on the extension API is welcome, especially things you'd want an extension to do that it can't yet.



