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.
Edit: This is the tool by George Hotz that I was referring to. I doubt it's really production ready given he likes to start and stop projects.