Cai-zhi (SMT) (FORPONY) - v1.0 Showcase