get-logs
Retrieve and filter stdout logs from a named pipe for debugging or analysis. Specify line count, text filters, or timestamps to query application output efficiently.
Instructions
Retrieve logs from the named pipe with optional filtering
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| filter | No | Text to filter logs by | |
| lines | No | Number of log lines to return | |
| since | No | Timestamp to get logs after |
Input Schema (JSON Schema)
{
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"filter": {
"description": "Text to filter logs by",
"type": "string"
},
"lines": {
"default": 50,
"description": "Number of log lines to return",
"type": "number"
},
"since": {
"description": "Timestamp to get logs after",
"type": "number"
}
},
"type": "object"
}