"succinct's first-line prover"

I met Tianshen Ge in the succinct community. He is an OG of the succinct community. Since I joined the community, I have seen Tianshen Ge carefully reviewing the Chinese tweets, not missing anyone, and being very responsible, which I admire very much! He is also humorous and often chats and jokes in the community without any airs. He also often helps community members find angles to attract the attention of the CM. It's no exaggeration to say that he is one of the most responsible mods I've ever met!