get_repository_info
Check if a GitHub repository is cloned locally and retrieve its metadata, including analysis suitability.
Instructions
Get information about a repository and whether it's already cloned locally.
Args:
repo_url: GitHub repository URL
working_directory: Directory where analysis folder should be located
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"repo_url": "<repo_url>"
},
"name": "get_repository_info"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo_url | Yes | ||
| working_directory | No | . |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo_url | Yes | GitHub repository URL | |
| repo_name | Yes | Repository name | |
| local_path | Yes | Local path where repository would be/is stored | |
| already_cloned | Yes | Whether repository is already cloned locally | |
| working_directory | Yes | Working directory used |