10G/40G are going to be related due to the "Q" ("quad") in QSFP, so cards like the Chelsio 580 are expected to work because of the 520 support. It's the same driver.
That's not directly helpful to your question, but just bear with for a moment.
What's happened in the networking world is that there's been a lot of failure to make the jump to the next order of magnitude; we went from 10M-100M-1G-10G over the period of about a decade back in the '90's(ish), but sufficiency set in and copper topped out for nearly two decades at 1G, even with "10G" being sort of available this last decade, and manufacturers now trying to push 2.5G/5G because they came up with a "compelling" argument for it. On the data center side of things, a similar thing happened with 10G/40G, 40 being the "quad" 4x10G, and there hadn't been a terrible push towards faster. 10/40 was king for like a decade.
iXsystems has relied heavily on Chelsio in the past. I don't know what they're currently shipping, but I would note that there is a Chelsio T6225-CR card which is powered by the same driver that runs the 520/580. This also comes in a 100G variant, which could come in handy if you needed multiple 25G support.
The baseline there has finally started to move again with the evolution from PCIe 2 to 3 and 4, and
Intel's XXV710 based cards were released about 5 years ago, but we didn't see a "quad-ification" of that product line, probably as a practical matter of PCIe performance. I would *guess* that the XXV710 is the next best path forward if you just want basic 25GbE.
However, seeing as how all the cheap used gear isn't 25G yet, I don't have firsthand info on compatibility here. This is all sort of theoretical.