Koredl
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.
Browse Worlds › Levels › Quests (each world's boss is listed after its
levels) or the Problems bank. Opening an item shows its Detail screen
in the sidebar: the statement, tags, test files, Run and Submit, and
the result of your latest run. Your solution.py opens in the editor at full
width. Pop out statement opens the statement in an editor tab for long
reads, and ← Back returns to where you were. A plain tree of the same
items is available as the collapsed Browse (tree) view.
Open a problem or quest from the website
On a problem's or quest's page on the Koredl website, Open in VS Code
opens it straight in the Koredl sidebar. A quest opens under the world you
were viewing, so your attempt counts toward that world. VS Code asks once
whether to allow the Koredl extension to open the link. You need to be signed
in and to have your skeleton repo open; the extension prompts for whichever
is missing.
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 |
| Submit (graded attempt) |
Restore the test files, run the full suite and submit a graded attempt |
| Set Up Environment |
Set up the Python environment, with whatever the current problem needs |
| Choose Python Libraries |
Add or remove JAX, PyTorch and TensorFlow |
| 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
- uv, which sets
up Python and the eval packages. If it's missing, Set Up Environment
offers to install it for you. You don't need Python installed: uv
downloads Python 3.12 the first time if you don't have it.
One Python environment
Every problem runs in one environment with numpy, scipy and pytest, pinned
by a lockfile so everyone grades with the same versions. JAX, PyTorch (CPU)
and TensorFlow are optional libraries in that same environment: tick them
in Choose Python Libraries, or Run a problem that needs one and click
Add JAX (or whichever). Unticking a library uninstalls it. Nothing is
set up per problem.
License
See LICENSE.
