MIA 0 at PIT 3, 2023-10-01

Miami Marlins at Pittsburgh Pirates, 2023-10-01, final 0-3: the score, both clubs' lines and each player's line where the data keeps them.