Proofdesk – Collaborative Web IDE and Sandbox for Math Textbooks

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