Mini ITX Arm Workstation with 16 cores
solid-run.com
solid-run.com
The sifive risc-v atx-compatible board is $666, but that one is based on a CPU that's made in small numbers, so it makes sense.
However, this is not the case with these ARM boards. It's simply unqualified expensive.