Thanks! Those three are not really coding agents though.