Skip to main content
Glama

Pursuit MCP

by gawakawa

Pursuit MCP

MCP server providing Pursuit integration for PureScript documentation search.

Features

  • Search Pursuit for PureScript functions, types, modules, and packages

  • Type signature search support

  • Access to comprehensive PureScript package documentation

Usage

MCP Client Configuration

Add to your MCP client configuration (e.g., Claude Desktop):

{ "mcpServers": { "pursuit": { "command": "nix", "args": ["run", "github:gawakawa/pursuit-mcp", "--"] } } }

Available Tools

search_pursuit

Search Pursuit for PureScript functions, types, and documentation.

Parameters:

  • query (string): Search query (function name, type signature, or keyword)

  • limit (integer, optional): Maximum number of results to return (default: 10)

Examples:

  • Function name search: map

  • Type signature search: (a -> b) -> f a -> f b

  • Module search: Data.Array

  • Package search: prelude

Response Format: Each result includes:

  • package: Package name (e.g., "purescript-prelude")

  • version: Package version

  • info: Result type and metadata

    • For declarations: includes module, title, type signature

    • For packages: includes deprecation status

    • For modules: includes module name

  • text: Plain text documentation

  • url: Direct link to the documentation

  • markup: HTML-formatted documentation (optional)

License

MIT

-
security - not tested
F
license - not found
-
quality - not tested

remote-capable server

The server can be hosted and run remotely because it primarily relies on remote services or has no dependency on the local environment.

Enables searching PureScript documentation through the Pursuit search engine. Supports function, type signature, module, and package searches with comprehensive documentation access.

  1. Features
    1. Usage
      1. MCP Client Configuration
    2. Available Tools
      1. search_pursuit
    3. License

      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/gawakawa/pursuit-mcp'

      If you have feedback or need assistance with the MCP directory API, please join our Discord server