Unison MCP Demo

基本能力

产品定位

Unison MCP 服务是一个用于与 Unison 代码库管理器交互的模型上下文协议（MCP）服务器。

核心功能

• 浏览项目中的命名空间
• 检索术语和类型的定义
• 通过子字符串匹配查找术语和类型
• 列出 Unison 代码库中的所有项目/分支
• 项目/分支选择（自动到当前 UCM 上下文，但可以手动设置）

适用场景

• 需要与 Unison 代码库进行交互的开发场景
• 自动化查询和检索代码库信息的任务

工具列表

• uv: 用于运行和管理 MCP 服务
• ruff: 用于代码格式化和 linting
• mypy: 用于静态类型检查
• pre-commit: 用于在提交前运行代码质量检查

使用教程

使用依赖

• Python 3.12 或更高版本
• Unison (ucm)

安装教程

1. 在 VSCode 中启用 MCP 服务器发现和运行功能：

   "chat.mcp.discovery.enabled": true,
   "chat.mcp.enabled": true

1. 运行以下命令安装 MCP 服务：

   uv run mcp install main.py

调试方式

1. 运行代码风格检查：

   uvx ruff check .

1. 应用自动修复：

   uvx ruff check --fix .

1. 格式化代码：

   uvx ruff format .

1. 静态类型检查：

   uvx mypy .

1. 手动运行所有预提交检查：

   pre-commit run --all-files