A server-side utility written in Flask to compile LaTeX files to PDF when triggered by a GitHub post-receive hook.