GitHub repository: keanemind/rigor-checker
Primary language: JavaScript
Description: Determine objectively how rigorous a mathematical proof is! (joke)