Collection of extensions and themes for Pi Coding Agent - View it on GitHub