OpenParable
Skip to content
← Back to skills

Serve Course Lecture

Documents
serve-course-lecture

Serve Course Lecture is an Agent Skill for documents published in the natolambert/rlhf-book repository on GitHub: a SKILL.md instruction file an AI agent can load to do this task.

Start or verify live preview for RLHF Book course lecture slides without breaking relative image assets. Use when serving, opening, checking, or debugging `teach/course/lec*.md` slides.

View on GitHub ↗
QUICK START

How to use this skill

Bring this guide into your coding agent with a prompt tailored to the tool you use.

  1. Open your project in Codex.
  2. Copy and paste the prompt below.
  3. Review files and risks before approving any action.
Prompt to paste
Inspect the Agent Skill at https://github.com/natolambert/rlhf-book/blob/HEAD/.claude/skills/serve-course-lecture/SKILL.md and all supporting files. Report provenance, permissions, scripts, dependencies, and security risks. Propose an exact installation into .agents/skills/serve-course-lecture, but wait for my approval before writing files or running scripts.

Copying this prompt does not install or run the skill. Review third-party files before use.

Serve Course Lecture

Use this for live preview of teach/course/lec*.md.

Rule

Course lecture images are written as assets/.... The rendered HTML must therefore be generated and served from teach/course/, not teach/, or images will resolve to the wrong directory.

Start Lec5

From the repo root:

uv run --extra teach python -c "from colloquium.serve import serve; serve('teach/course/lec5-chap7.md', port=8081, output_dir='teach/course')"

Open:

http://127.0.0.1:8081/lec5-chap7.html

General Pattern

For teach/course/<lecture>.md, set output_dir='teach/course' and open http://127.0.0.1:<port>/<lecture>.html.

Verification

Before reporting success, verify both the page and at least one image:

uv run --extra teach python -c "import urllib.request as u; urls=['http://127.0.0.1:8081/lec5-chap7.html','http://127.0.0.1:8081/assets/rlvr-system.png']; [print(x, (r := u.urlopen(x, timeout=3)).status, r.getheader('content-type')) for x in urls]"

The image check must return 200 image/....

If The Port Is Already Wrong

If a previous server is running from the wrong output directory, find and stop only that port before restarting:

lsof -ti tcp:8081
kill <pid>