I am working on a Python program with a graphical user interface for the Metamath system. It works on current Macintosh computers. You can see some screenshots by going to the bottom of my web page.
My web page is at: http://www.geocities.com/billh04/
You can download the current version of the Python mmide program at the url http://www.geocities.com/billh04/logic/Download_mmide.html
That looks great! If I can provide any information of use to you in your endeavour feel free to ask. Metamath is a very interesting project… --ocat