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 to prepare for development tasks.

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"
}

Install Server

HTTP connection URL

Other Tools from PureScript MCP Server

Related Tools

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