PureScript MCP Server

pursIdeLoad

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.

Instructions

Load PureScript modules into the IDE server for type checking and completions. PREREQUISITE: IDE server must be running. ALWAYS run this first after starting the IDE server before using other pursIde* tools.

Input Schema

Name	Required	Description	Default
`modules`	No	Optional: specific modules to load. If omitted, attempts to load all compiled modules.

Input Schema (JSON Schema)

{
  "additionalProperties": false,
  "properties": {
    "modules": {
      "description": "Optional: specific modules to load. If omitted, attempts to load all compiled modules.",
      "items": {
        "type": "string"
      },
      "type": "array"
    }
  },
  "type": "object"
}

This server cannot be installed

Other Tools from PureScript MCP Server

Related Tools

start_purs_ide_server
@avi892nash/purescript-mcp-tools
pursIdeReset
@avi892nash/purescript-mcp-tools
stop_purs_ide_server
@avi892nash/purescript-mcp-tools
pursIdeList
@avi892nash/purescript-mcp-tools
getImports
@avi892nash/purescript-mcp-tools
pursIdeRebuild
@avi892nash/purescript-mcp-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