pub(crate) const SHELL_STATUS_TOOL: &str = r#"{
"name": "ShellStatus",
"description": "Query whether a shell started by Shell() is still running. Returns running status, exit code (when exited), and total line count so far. Use to poll for completion or check if a dev server is still up before starting a second one.",
"inputSchema": {
"type": "object",
"properties": {
"shell_id": { "type": "string", "description": "The shell_id returned by a prior Shell() call" }
},
"required": ["shell_id"]
}
}"#;