AI-Assisted Programming for PhD Researchers
Helmut Schmidt University — September 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.More setup than a skill (a server to install and run), but it reaches real external systems.
GitHub’s is a hosted server — a remote URL, no command to install. Add it to opencode.json, then restart:
Authenticate with opencode mcp auth github; the agent then sees the tools and decides when to call them.
You type a plain request:
Same 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:
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.
Five short exercises to put extension into practice:
opencode.json and use it read-onlyLecture VII — Extending the Agent | Dr. Tobias Vlćek | Home