Proxy over GitHub’s REST API for fine-grained repo access – e.g. file-level scopes. For unpredictable agents :)