Favz: yjs/y-prosemirror agent setuphttps://favz.co/repos/yjs/y-prosemirror.htmlMCP servers, skills and plugins added to or removed from yjs/y-prosemirror.