Skip to main content
Glama

PureScript MCP Server

by avi892nash

stop_purs_ide_server

Stop the PureScript IDE server to free up system resources, ensuring efficient project switching or concluding type-checking tasks. Halts all pursIDE-related operations.

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

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