Get active file reservations
get_active_reservationsCheck active file reservations in a workspace to avoid editing conflicts between agents. Filter by specific file paths to identify coordination overlaps.
Instructions
Purpose: Read current file reservations for a workspace. When to use: call before editing or reviewing files to detect coordination conflicts. Inputs: workspace_id and optional file_paths filter. Side effects: none beyond database reads. Output: active reservations with agents, purpose, TTL, and file paths. Failure modes: returns an empty list when no active reservations match.
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": {
"workspace_id": "<workspace_id>"
},
"name": "get_active_reservations"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| file_paths | No | Optional repo-relative file paths used to filter reservations. | |
| workspace_id | Yes | Workspace UUID whose file reservations should be listed. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |