search_in_files
Find specific terms inside course files and pages. Get matching pages with snippets and direct read calls, so you only open relevant content.
Instructions
Full-text search inside course files (PDF slides, lecture notes, handouts, code) and pages.
Returns the best-matching pages with a snippet and the exact call to read them, so you can
read only the relevant pages instead of whole files. The first search in a course downloads
and indexes its files (can take a minute); later searches are instant.
Args:
query: Words that must all appear on the same page, e.g. "big-step semantics".
course: Limit to one course (recommended); by default searches all ongoing courses.
max_results: How many matching pages to return.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| query | Yes | ||
| course | No | ||
| max_results | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |