file_reservation_paths
Reserve repository-relative paths or globs so other agents know what you are editing. Returns {granted, conflicts}; grants include reservation ids and expiry times, while conflicts name the requested path and its holders.
Instructions
Reserve repository-relative paths or globs so other agents know what you are editing. Returns {granted, conflicts}; grants include reservation ids and expiry times, while conflicts name the requested path and its holders. Conflicts do not fail the call, and nothing blocks the edit itself; the optional git guard refuses commits touching another agent's exclusive reservation. Reserving a path you already hold updates it. Extend with renew_file_reservations and release with release_file_reservations when done.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| paths | Yes | Repository-relative paths or globs. | |
| reason | No | Shown to agents whose reservation conflicts. | |
| exclusive | No | Default true. Shared reservations conflict only with exclusive ones. | |
| agent_name | Yes | Your registered agent name. | |
| project_key | Yes | Absolute path of the repository's primary checkout. | |
| ttl_seconds | No | Seconds, default 3600, at most 2592000 (30 days). | |
| idempotency_key | No | Nonempty key for this tool and agent. Identical arguments replay with idempotent_replay:true; different arguments fail with IDEMPOTENCY_KEY_CONFLICT. Cleanup runs at server startup and hourly, removing keys older than 7 days. Retries can replay until removal; afterward a retry may perform the operation again. |