Not that I know of. However, either Qiling or angr (which I mentioned in another comment) both have a fairly decent Python API, so while they are often used for binary emulation they are often not too hard to hook up in a way that might be useful to you.

> I doubt it's really production ready given he likes to start and stop projects

A likely good strategy for success in startups is productizing projects started by George Hotz. :-P