session_delete
Delete a gateway session record by ID and clean up any attached worktree. Use this to remove obsolete sessions and free resources.
Instructions
Delete a gateway session record by ID (also removes any gateway-owned worktree attached to it).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| sessionId | Yes | Session ID |