Skip to main content
Glama

PureScript MCP Server

by avi892nash

start_purs_ide_server

Launch the PureScript IDE server to enable type checking, auto-completion, and error detection. Automatically stops existing servers, selects a random port, and requires an absolute project path for integration with pursIde* tools.

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

NameRequiredDescriptionDefault
log_levelNonone
output_directoryNooutput/
project_pathYesAbsolute path to the PureScript project directory. Only absolute paths are supported.
source_globsNo

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" }
Install Server

Other Tools from PureScript MCP Server

Related Tools

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/avi892nash/purescript-mcp-tools'

If you have feedback or need assistance with the MCP directory API, please join our Discord server