Terminate the PureScript IDE server to release system resources after completing tasks like type checking or switching projects, disabling related IDE tools.
MIT
101,563 tools. Last updated 2026-04-10 11:15
- Load PureScript modules into the IDE server to enable type checking and code completions. Essential first step after starting the IDE server for proper functionality of other development tools.MIT
- Improve AI IDE responses by restructuring coding prompts with language-specific context and clear requirements before submission.MIT
- Retrieve server information including capabilities, tools, resources, and usage guidance for interacting with BookStack knowledge bases through Claude.MIT
- Gracefully shut down the PureScript IDE server using its built-in quit command, ensuring resource release without abrupt termination.MIT
- Retrieve the current working directory used by the IDE server to understand project context. Requires the IDE server to be running. Part of the PureScript MCP Server tools for efficient development workflows.MIT
Matching MCP Servers
- AsecurityAlicense-qualityEnables access to Usage and Billing APIs for managing accounts, products, meters, plans, and usage reporting. Supports operations like creating products/plans, reporting usage, and retrieving billing information.Last updated 4 months ago18MIT
- AsecurityAlicense-qualityEnables interaction with Google Cloud services including billing cost analysis, log querying, and metrics monitoring through natural language commands. Provides comprehensive tools for managing GCP resources, analyzing costs, detecting anomalies, and retrieving operational insights.Last updated 4 months ago401Apache 2.0
Matching MCP Connectors
Provide your AI coding tools with token-efficient access to up-to-date technical documentation for…
US visa bulletin data and CBP border wait times. 3 MCP tools for immigration and travel planning.