list_devices
Query and filter devices from the LAVA board farm by type, health, or state. Returns the count and matching devices.
Instructions
List devices, optionally filtered by device_type, health or state.
Returns {count, results}. health is e.g. Good/Bad/Maintenance/Unknown; state is Idle/Reserved/Running.
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "list_devices"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| device_type | No | ||
| health | No | ||
| state | No | ||
| limit | No |