增加Texcheck的py代码