Full trade, per ESPN sources:

Astros receive: RHP Justin Verlander.

Mets receive: OF Drew Gilbert and OF Ryan Clifford.

Deal is done.

— Jeff Passan (@JeffPassan) August 1, 2023