If anyone is interesting in helping, I'm going to spend my evening trying to implement this here: https://github.com/ConceptPending/proveit

My email is in my profile, and I'm happy to Skype chat with anyone who wants to help.