run
Execute a shell command and get a short lossless digest of its output, keeping errors, failures, and summaries while folding noise; use the returned id with show to retrieve full output.
Instructions
Run a shell command and return a short, lossless digest of its output (errors, failures and summaries kept; noise folded). The digest ends with an id; use show to fetch any part of the full output without re-running the command.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"command": "<command>"
},
"name": "run"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| cwd | No | Working directory (optional) | |
| budget | No | Digest size in characters (default from config, 6000) | |
| command | Yes | Shell command line | |
| timeout | No | Seconds before the command is killed (optional) |