PureScript MCP Server

pursIdeQuit

Gracefully shut down the PureScript IDE server using its built-in quit command, ensuring resource release without abrupt termination.

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

Name	Required	Description	Default
No arguments

Input Schema (JSON Schema)

{
  "additionalProperties": false,
  "properties": {},
  "type": "object"
}

This server cannot be installed

Other Tools from PureScript MCP Server

Related Tools

stop_purs_ide_server
@avi892nash/purescript-mcp-tools
start_purs_ide_server
@avi892nash/purescript-mcp-tools
pursIdeLoad
@avi892nash/purescript-mcp-tools
pursIdeReset
@avi892nash/purescript-mcp-tools
playwright_close
@pvinis/mcp-playwright-stealth
close_browser
@Rainmen-xia/chrome-debug-mcp

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