Program to automatically check a proof/solution in the same format as in the paper

I read [the paper](https://www.nature.com/articles/s41586-023-06747-5) about AlphaGeometry, it's quite interesting.

I'd like to be able to check a proof written in the same format as [here](https://www.nature.com/articles/s41586-023-06747-5/figures/5) and [there](https://github.com/google-deepmind/alphageometry/blob/main/fig1.svg) (d and f).

What software can I use for that? The paper says that this language is similar to GEX but I couldn't find an interpreter/checker for GEX.

Is there something that I can use in this repository?