Skip to main content
Glama
133,413 tools. Last updated 2026-05-25 15:25

"Resources and Tools for Coding Assistance and IDE Selection" matching MCP tools:

  • Gracefully shut down the PureScript IDE server using its built-in quit command, ensuring resource release without abrupt termination.
    MIT
  • Verify running IDE server processes to prevent resource conflicts. Checks Tree-sitter parser status and purs IDE server availability. Use before starting new IDE servers to ensure no duplicate processes.
    MIT
  • 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

Matching MCP Servers

Matching MCP Connectors

  • Provide your AI coding tools with token-efficient access to up-to-date technical documentation for…

  • Token-efficient search for coding agents over public and private documentation.