doc_list_repos
List all indexed documentation repositories to retrieve their IDs and storage locations, verifying whether needed docs are already indexed before proceeding.
Instructions
List every indexed documentation repo with its identifier and storage location. Call it first to find out whether the docs you need are already indexed, and to get the repo id every other tool needs. Lists only indexes under the active storage_path, so an empty list means nothing is indexed there. Each row has has_embeddings: false means that index matches words only.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||