refresh_stars
Force a complete re-fetch of your GitHub starred repositories from the API to update the local database. Use when you need a fresh copy without relying on automatic checks.
Instructions
Force a full re-fetch of your starred repos from the GitHub API and update the local database. Read tools already check for updates automatically on use.
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "refresh_stars"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||