stop_purs_ide_server
Terminate the PureScript IDE server to release system resources after completing tasks like type checking or switching projects, disabling related IDE tools.
Instructions
Stop the PureScript IDE server to free up system resources. Use when you're done with type checking or want to switch projects. All pursIde* tools will stop working after this.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Implementation Reference
- index.js:359-371 (handler)The core handler function that implements the logic for stopping the purs IDE server. It checks if the process is running, kills it if so, updates state variables, logs the action, and returns a JSON-formatted status message via MCP content.async function internalHandleStopPursIdeServer() { let message; if (pursIdeProcess) { pursIdeProcess.kill(); pursIdeProcess = null; pursIdeIsReady = false; logPursIdeOutput("purs ide server stopped by MCP.", "info"); message = "purs ide server stopped."; } else { message = "No purs ide server was running."; } return { content: [{ type: "text", text: JSON.stringify({ status_message: message }, null, 2) }] }; }
- index.js:677-681 (schema)The tool definition in TOOL_DEFINITIONS array, including the schema for input validation (empty object, no params required). This is returned in the tools/list MCP response.name: "stop_purs_ide_server", description: "Stop the PureScript IDE server to free up system resources. Use when you're done with type checking or want to switch projects. All pursIde* tools will stop working after this.", inputSchema: { type: "object", properties: {}, additionalProperties: false }, }, {
- index.js:796-796 (registration)Registration of the tool name to its handler function in the INTERNAL_TOOL_HANDLERS map, which is used by the MCP tools/call request handler to dispatch calls."stop_purs_ide_server": internalHandleStopPursIdeServer,