start_purs_ide_server
Launch the PureScript IDE server to enable type checking, auto-completion, and error detection. Automatically stops existing servers to prevent conflicts, selects a random port, and requires an absolute project path. Essential for pursIde* tools functionality.
Instructions
Start the PureScript IDE server for type checking, auto-completion, and error detection. Automatically stops any existing server to prevent conflicts. Only run one at a time. Required for all pursIde* tools to work. Automatically selects a random available port to avoid conflicts - the port number is returned in the response. Only accepts absolute paths.
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": {
"project_path": "<project_path>"
},
"name": "start_purs_ide_server"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| log_level | No | none | |
| output_directory | No | output/ | |
| project_path | Yes | Absolute path to the PureScript project directory. Only absolute paths are supported. | |
| source_globs | No |