Todo if you are bored: Create Tests Add Features Submit Get puzzle Display leaderboard Improve CodeQL