EOS 4.23.0F adds support for redistributing DHCPv6 routes in IS IS when using the multi agent routing protocol mode.

DHCP IS-IS 4.23.0F Redistribution Redistribute Dhcp