I was recently looking into this exact topic and found Dexter[1], which also uses HypoPG.

[1] https://github.com/ankane/dexter