MLS over activitypub implementation

It has been a few months since MLS over activitypub spec was released. Has there been any working prototype yet? Also, any other encryption over activitypub implementation? @julian @evan@cosocial.ca