reindex_repository
Rebuild the repository index by deleting the old index and creating a fresh one after code changes.
Instructions
Re-index a repository (useful after code changes).
This will delete the old index and create a fresh one.
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_path": "<repo_path>"
},
"name": "reindex_repository"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo_path | Yes | Absolute path to the repository |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |