ISP provides a /56 via DHCPv6-PD, I would like to use RouterOS as DHCPv6-PD server to hand out a /57 from the /56 pool received by ISP. Is this currently supported?

Yes, it should work, just use address pool from client for server.