基本能力
产品定位
Unison MCP 服务是一个用于与 Unison 代码库管理器交互的模型上下文协议（MCP）服务器。
核心功能
- 浏览项目中的命名空间
- 检索术语和类型的定义
- 通过子字符串匹配查找术语和类型
- 列出 Unison 代码库中的所有项目/分支
- 项目/分支选择（自动到当前 UCM 上下文，但可以手动设置）
适用场景
- 需要与 Unison 代码库进行交互的开发场景
- 自动化查询和检索代码库信息的任务
工具列表
- uv: 用于运行和管理 MCP 服务
- ruff: 用于代码格式化和 linting
- mypy: 用于静态类型检查
- pre-commit: 用于在提交前运行代码质量检查
使用教程
使用依赖
- Python 3.12 或更高版本
- Unison (
ucm)
安装教程
- 在 VSCode 中启用 MCP 服务器发现和运行功能：
"chat.mcp.discovery.enabled": true,
"chat.mcp.enabled": true- 运行以下命令安装 MCP 服务：
uv run mcp install main.py调试方式
- 运行代码风格检查：
uvx ruff check .- 应用自动修复：
uvx ruff check --fix .- 格式化代码：
uvx ruff format .- 静态类型检查：
uvx mypy .- 手动运行所有预提交检查：
pre-commit run --all-files