CatFacts source code for our HackTX project