code_get_files
Get contents of multiple files from a remote public git repository in a single call. Reduces round-trips when you need to read several related files. Max 10 files per batch, 5000 total lines budget across all files. Each file supports optional line ranges. Failed files return per-file errors without blocking other files.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| paths | Yes | List of files to read. Each entry has a path and optional line range. | |
| max_lines | No | Per-file safety cap on lines returned (cap: 2000). | |
| repository | Yes | Git URL of a public remote repository |