The OTF version of AMSFonts, converted by FontForge
Linux operating system is recommended
You also need Python and FontForge
The AMSFonts archive can be found in this repository or manually installed from here
Clone the repository and go into it:
git clone https://github.com/Firestar-Reimu/AMSFonts-OTF.git
cd ./AMSFonts-OTF
Then unzip the file (extract archive here, autodetect subfolder):
unar amsfonts.zip
Run the Python file:
python amsfonts-otf.py
Then you can get the OTF files in ./amsfonts-otf