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.

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

Input Schema (JSON Schema)

{
  "additionalProperties": false,
  "properties": {
    "log_level": {
      "default": "none",
      "enum": [
        "all",
        "debug",
        "perf",
        "none"
      ],
      "type": "string"
    },
    "output_directory": {
      "default": "output/",
      "type": "string"
    },
    "project_path": {
      "description": "Absolute path to the PureScript project directory. Only absolute paths are supported.",
      "type": "string"
    },
    "source_globs": {
      "default": [
        "src/**/*.purs",
        ".spago/*/*/src/**/*.purs",
        "test/**/*.purs"
      ],
      "items": {
        "type": "string"
      },
      "type": "array"
    }
  },
  "required": [
    "project_path"
  ],
  "type": "object"
}

PureScript MCP Server