get_course
Retrieve course header information by course code, with optional year and institution parameters.
Instructions
Get the header for a course code.
Args:
code: course code, e.g. "4DM00".
year: start year or range; most recent offering by default.
institution: institution code (e.g. "tue"); defaults to the configured one.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"code": "<code>"
},
"name": "get_course"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| code | Yes | ||
| year | No | ||
| institution | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |