Repositories API

Manage repositories: list, add, delete, and reindex.

Built by Devanshu Chicholikar. Source on GitHub. Retrieval research: OpenCodeIntel/retrieval-research.