Skip to main content
Glama

PureScript MCP Server

by avi892nash

pursIdeQuit

Gracefully shut down the PureScript IDE server and release its resources using the server's built-in quit command, ensuring a clean termination process.

Instructions

Gracefully shut down the IDE server and free up resources. PREREQUISITE: IDE server must be running. Same effect as stop_purs_ide_server but uses the server's built-in quit command first.

Input Schema

NameRequiredDescriptionDefault

No arguments

Input Schema (JSON Schema)

{ "additionalProperties": false, "properties": {}, "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