AI-Assisted Programming for PhD Researchers
Helmut Schmidt University, August 2026
Your agent already has three things:
It lacks today’s docs, your library’s real API, your reference manager, and your recurring workflows.
This session tours all four, simplest to most powerful:
We start with the simplest, a plain markdown file, and build up to tools and parallel agents.
descriptionWe ship adapted skills you will run on real text this afternoon:
Frontmatter says when; the body says how:
---
name: figure-caption-checker
description: Check figure captions for completeness. Use when reviewing figures in a manuscript.
---
Check each figure caption against these rules:
- State what the figure shows, how it was measured, and n.
- Report units on every axis and every value.
- No interpretation in the caption: that belongs in the text.
- Flag any caption that breaks a rule and suggest a fix.Context7 looks documentation up as you ask. Hosted, so a remote URL and no command to install. Add it to opencode.json, then restart:
No login, no token. The agent sees the tools and decides when to call them.
You type a plain request:
remote entry, different URLSame lethal trifecta as this morning: install only servers you trust (Willison 2025).
A subagent returns a summary, not a transcript. Delegate only when the summary is what you actually need.
A worktree is a second folder backed by the same repository:
Or from Zed’s UI: the git: worktree picker creates, opens, and removes them.
Run a second agent in ../proj-docs safely: separate files.
git worktree remove so stale folders do not pile upToday: one parallel docs-improvement worktree while your main session keeps working. One stunt, not a habit.
Beyond interactive sessions, agents can run unattended:
opencode run "..." with no human in the loopPowerful, and it inherits every risk from this morning. Guardrails and checks come first. This is a pointer to the literature, not course material.
opencode.json and check its answer against the real docs (optional)Lecture VII: Extending the Agent | Dr. Tobias Vlćek | Home