PureScript MCP Server
JSON →An MCP server offering PureScript development tools for AI assistants. Requires Node.js and the PureScript compiler for full functionality.
Install
npm install -g purescript-mcp-tools Tools · 15
- getModuleName Extract module name from PureScript file
- getImports List all imports from a module
- getAllFunctionNames Get all function definitions
- getExports List exported values
- getFunctionSignature Get type signature for a function
- getDependencyGraph Generate module dependency graph
- start_purs_ide_server Start a PureScript IDE server
- stop_purs_ide_server Stop the IDE server
- pursIdeLoad Load modules into IDE
- pursIdeType Get type information
- pursIdeComplete Get completion suggestions
- pursIdeUsages Find where a symbol is used
- pursIdeCaseSplit Generate case splits
- pursIdeAddClause Add function clause
- pursIdeImport Add imports
Links
★ 4 GitHub stars