at the Public during the pre-Broadway run, after which the connected with Miranda to produce the soundtrack which came out later. But yeah, maybe they did some consulting, I know there were many who saw some of the workshops and gave notes even before the stage show was completed. But definitely not in any official capacity that would have made them Tony-eligible.