The software sometimes faltered, but the student-developed tools also matched some of the president's claims against fact databases in real time.