The Mets may still be in the market for a proven bat.

There has been dialogue between J.D. Martinez’s camp and the Mets, The Post’s Mike Puma reported on Tuesday, keeping the door open for the club to bolster its lineup at the right price.

A week away from pitchers and catchers reporting to spring training, the Mets do not have a surefire designated hitter.

President of baseball operations David Stearns has previously indicated that the Mets could leave the DH spot open as a way for the likes of Mark Vientos or DJ Stewart to receive at-bats.

But adding Martinez would offer the Mets a more proven, productive solution at the position as they look to compete in 2024.

The 36-year-old Martinez played on a one-year, $10 million contract last season with the Dodgers, batting .271 with 33 home runs and a .893 OPS.

He has been an All-Star in each of the last five seasons (not including 2020, when there was no All-Star Game).

Earlier this offseason, the Mets had been connected to another veteran bat in Justin Turner, who has since signed a one-year, $13 million deal with the Blue Jays.

Jorge Soler is another DH option who is still available on the free-agent market if the Mets decide to fill that hole.

“Sometimes, sort of that bat-first player when we’re talking about a DH position, it can be helpful to rotate players through that,” Stearns said last month. “We haven’t made a firm decision on that one yet. I still think it’s a little bit to be determined and we’re still discussing.”

As of Tuesday, the Mets already had the highest projected luxury-tax payroll in MLB at $329.8 million, per Cot’s Contracts, well beyond the highest tax threshold of $297 million.