</>MCP Agents Market
MCP Server

unison

by unisonweb6.7kHaskellUpdated 2026-08-19

A friendly programming language from the future

The Unison MCP server enables AI assistants to interact with the Unison programming language ecosystem through the Model Context Protocol. Unison is a statically-typed functional language that uses content-addressed code, storing functions by hash rather than name in an AST database. This MCP server allows AI agents to explore Unison codebases, query definitions, and work with the language's unique codebase format. Developers can integrate Unison's advanced type system, effect tracking, and semantic version control capabilities directly into their AI workflows.

Key Features

Content-addressed code system where functions are identified by implementation hash
AST-based codebase storage in a database format
Perfect incremental compilation with shared compilation cache
Instant, non-breaking renaming of definitions
Semantically-aware version control avoiding spurious merge conflicts
Built-in Language Server Protocol (LSP) support
Codebase web server integration for browsing and exploration
Effect system with type inference for functional programming

Use Cases

  • 01Exploring Unison codebases and definitions through AI assistants
  • 02Querying type signatures and function implementations in Unison projects
  • 03Navigating content-addressed code structures with AI assistance
  • 04Integrating Unison development workflows into AI-powered coding environments
  • 05Accessing Unison's semantic codebase information for code analysis
  • 06Building distributed systems with Unison Cloud through AI-assisted development

Related MCP Servers

View more

unison — FAQ

What is the Unison MCP server?+

The Unison MCP server is an AI agent integration that connects Unison programming language capabilities to AI assistants through the Model Context Protocol. It enables AI tools to interact with Unison's content-addressed codebase format, query definitions, and explore type information.

How do I install the Unison MCP server?+

You need to build Unison from source using Stack, then configure the MCP server according to the instructions in docs/mcp.md. The setup requires cloning the GitHub repository and building with Stack before connecting it to your AI client.

What are the prerequisites for running this MCP server?+

You need Stack (the Haskell build tool) installed on your system and the ability to build from source. No API keys are required, but you must have the Unison codebase manager (ucm) running to interact with Unison codebases.

Which AI clients work with the Unison MCP server?+

Any AI client that supports the Model Context Protocol (MCP) can connect to the Unison server. Refer to the MCP setup documentation in the repository for specific configuration details.

Is the Unison MCP server free to use?+

Yes, Unison is open source and available on GitHub. The MCP server functionality is included as part of the Unison language implementation at no cost.

Do I need a running Unison codebase to use the MCP server?+

Yes, the MCP server interacts with Unison's codebase format and typically requires the Unison Codebase Manager (ucm) to be running to provide access to definitions and type information stored in the content-addressed database.

How do I install unison?+

Open the source repository on GitHub and follow its README. unison is a mcp server — MCP Agents Market links you directly to the official repo.

Is unison free?+

unison is an open-source project hosted on GitHub. Check the repository for its license and any usage requirements.

Related searches