Solve Koredl problems and quests in a real editor, against a real local
Python environment, with results submitted straight back to your Koredl
account.
Getting started
Install the extension and open the Koredl icon in the activity bar.
Sign In — opens your browser to authorize the extension against your
Koredl account.
Pick a problem or quest to work on. The extension provisions a starter
repo and sets up a matching Python environment automatically.
Write your solution, then use Run to test locally or Submit for a
graded attempt.
Commands
Command
What it does
Sign In / Sign Out
Authorize or de-authorize this editor
Solve (Problem or Quest)
Browse and start a problem or quest
Run (local, not submitted)
Run your solution without submitting
Test (sample cases)
Run the sample test cases only
Submit (graded attempt)
Run the full suite and submit a graded attempt
Set Up Environment
(Re)build the Python environment for the current repo
Use Environment as Python Interpreter
Point VS Code's Python extension at it
Open Terminal in Environment
Open a terminal with the environment activated
Requirements
Python 3.10–3.12 on your system (used to build a per-problem virtual
environment)
