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/