resource_release
Release a resource lease to free up the resource for other agents. Provide the resource ID and agent name to complete the release.
Instructions
Release a previously acquired resource lease.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| agent | Yes | Agent releasing the lease | |
| resource_id | Yes | Resource identifier |