workspace_info
Retrieve detailed workspace information including session state, root listing, and index statistics. Use when index stats or full detail are required.
Instructions
Detailed workspace info (session state, root listing, index stats). Basic info is already in server instructions — only call if you need index stats or full detail.
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": "workspace_info"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||