GitHub repository: ranjeetxsingh/prism-BugThug
Description: Official Repo for BugThug challenge in Prism 2024