A vibe-coded PreTeXt editor webapp. Okay. GitHub link at the bottom 404s, but presumably intends to link here: https://github.com/harsharajkumar-273/Proofdesk