I don't see why you couldn't use Dokku for multiple servers. Should work just as well as Kamal in that regard.

It supports k3s as a scheduler and you can switch apps over to it with one command (after the initial setup which seems straightforward too): dokku.com/docs/deployment/sch…