How do I install the unison mcp server?

This profile does not contain a verified copy-paste launch configuration. Follow the current project documentation to confirm the runtime, entry point, transport and authentication before registering it in your client.

SSyncDev

Start a project

Unison MCP Server

Unison言語のModel Context Protocol (MCP)サーバー実装です。AIアシスタントがUCM（Unison Codebase Manager）を操作できるようにします。

Local serverstdio

What is the Unison MCP Server?

Unison言語のModel Context Protocol (MCP)サーバー実装です。AIアシスタントがUCM（Unison Codebase Manager）を操作できるようにします。

More MCP options

Compare MCP servers by category, or browse hosted MCP servers if you prefer an endpoint over a local process.

Maintainer setup documentation.

Recorded tools

Check the linked publisher documentation and your connected client's tool list. Names and availability can vary with the server version and account permissions.

Tool	What it does
mcp__unison__ucm_find	定義の検索
mcp__unison__ucm_add	新しい定義の追加
mcp__unison__ucm_run	Unison式の実行
mcp__unison__ucm_view	定義のソースコード表示
mcp__unison__ucm_update	既存定義の更新
mcp__unison__ucm_ls	名前空間の内容一覧
mcp__unison__ucm_delete	定義の削除
mcp__unison__ucm_test	テストの実行（scratch.uがない場合は自動生成）
mcp__unison__ucm_dependencies	定義の依存関係表示
mcp__unison__ucm_list_projects	プロジェクト一覧
mcp__unison__ucm_switch_project	プロジェクトの切り替え
mcp__unison__ucm_project_create	新規プロジェクト作成
mcp__unison__ucm_list_branches	ブランチ一覧
mcp__unison__ucm_switch_branch	ブランチの切り替え

How to install the Unison MCP Server

{
  "mcpServers": {
    "unison": {
      "command": "/path/to/unison-mcp-server/.stack-work/install/.../bin/unison-mcp-server-exe",
      "args": [
        "/path/to/your/unison/project"
      ]
    }
  }
}

From the project documentation. Replace placeholders and example paths before connecting.

Example prompts to try

“Use Unison MCP to mcp unison ucm find.”
“Use Unison MCP to mcp unison ucm add.”
“Use Unison MCP to mcp unison ucm run.”

Frequently asked questions

Unison言語のModel Context Protocol (MCP)サーバー実装です。AIアシスタントがUCM（Unison Codebase Manager）を操作できるようにします。 Confirm the tools offered by your installed version in the connected client. Tool availability and permissions depend on the server and account configuration.