| { | |
| "name": "dev_server_status", | |
| "description": "Check the status of the dev server and view recent output. Shows whether it is stopped, starting, ready, or has errors, along with recent log lines.", | |
| "inputSchema": { | |
| "type": "object", | |
| "properties": { | |
| "lines": { | |
| "type": "integer", | |
| "default": 50, | |
| "description": "Number of recent log lines to return. Defaults to 50." | |
| } | |
| }, | |
| "additionalProperties": false, | |
| "$schema": "http://json-schema.org/draft-07/schema#" | |
| } | |
| } |