Check one repository
check_repoDetermine whether a GitHub repository fits a user by checking facts, existing use, and matching profile entries; fetch it from GitHub when not indexed.
Instructions
Judge whether one GitHub repository fits the user: its facts, whether they already use it, and which profile entries it matches. Looks the repo up on GitHub if it is not indexed.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | owner/name or URL |