Abstract: As a preliminary work, we have completed a 12.5-mm-cold-bore high-temperature superconducting (HTS) REBCO magnet prototype and successfully operated it up to 25 T at 10 K cooled by a ...