check_session_health
Checks whether a Vivado session is responsive and automatically restarts it when commands time out or behave unexpectedly.
Instructions
Check if Vivado session is responsive and recover if needed. Use this if commands are timing out or behaving unexpectedly.
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": "check_session_health"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| auto_recover | No | Restart session if unhealthy (default: true) |