Maybe the Mets will be forced to put Jacob deGrom on the trade block after all.

The agent for the team’s ace seemed to be expressing frustration with the lack of progress in an extension for the dominant right-hander on Monday, shortly after it was announced Max Scherzer will start Tuesday’s All-Star Game over deGrom, and suggested the Mets should either decide to get serious with locking up his client or look to move him.

“We have discussed Jacob’s future with the Mets at length. Jacob has expressed interest in exploring a long-term partnership that would keep him in a Mets uniform for years to come,” CAA’s Brodie van Wagenen told Ken Rosenthal of The Athletic. “If the Mets don’t share [the] same interest, we believe their best course of action is to seriously consider trade opportunities now. The inertia of [the] current situation could complicate Jacob’s relationship with the club and creates an atmosphere of indecision.”

Van Wagenen clarified to The Post’s Joel Sherman that this “is not a demand for a trade. It is simply expressing Jacob’s interest to stay with the club long term [with an extension] and if he is not part of the future, he understands that the club is better positioned to trade him.”

Van Wagenen said there have been multiple talks with the Mets about an extension, but no numbers exchanged between the two sides.

In Washington at the All-Star festivities Monday, deGrom said he wants to be “a Met for my whole career.”

It remains to be seen how the Mets move forward with the trade deadline approaching and their three-headed general manager trio of Omar Minaya, John Ricco and J.P. Ricciardi in charge. The team reportedly will be looking for a general manager outside of the organization after the year, which complicates the current hierarchy making a significant move.

Despite a best-in-baseball 1.68 ERA, deGrom is just 5-4, and the Mets have the fewest wins in the National League. He would be by far the best pitcher on the trade market and would command a haul if the Mets make him available.