kitty dev (kitty)