workspace_acquire
Acquire or renew an exclusive workspace lease to safely modify project files. Pass the lease_id to renew; a busy status indicates an existing lease.
Instructions
Acquire or renew an exclusive workspace lease for a registered project (registered project id; default demo). Use before mutating tools. If another exclusive lease is active, returns LEASE_BUSY — do not retry blindly. Pass the same lease_id to renew by activity. Does not write project files.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| mode | No | exclusive | |
| project | No | demo | |
| lease_id | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||