PiDeck — A desktop workbench for several local pi coding agents