Packages from the vendor cyc

cyc/sem
cyc/wechat