I have both hooked up to 2 monitors. A shortcut triggers MagicSwitch to switch my keyboard and mouse to the other machine, while it uses BetterDisplay to send a DDC command to the monitors that makes it switch inputs.
Bound the whole thing to a key combo, and now I can easily switch between two machines.