Deed

io.github.deed-lang由 GitHub 账号 deed-lang 发布v0.2.13更新于 Oct 24, 2026

Contract-first language and MCP server for capability-aware code and patch review.

发布方自己的服务:deed.page

已验证STDIO仅桌面开发者工具安全与监控

概览

AI 生成的概览

Deed 的本地 MCP 服务器;Deed 是一种契约优先语言,其工具链会检查类型、效应行、能力与补丁回执。

可以做什么
  • 通过 stdio 向助手提供 Deed 工具链,用于契约优先的代码工作
  • 检查 Deed 源码中的类型、效应行、能力与契约
  • 校验代码改动前后的补丁回执
  • 借助同一命令行工具链创建并测试 Deed 项目
适用场景
当你希望助手用 Deed 语言编写或审查代码,并由工具链实际校验其契约、能力与补丁回执,而不是直接采信时,值得添加。
运行要求
作为本地进程在用户机器上运行,通过 stdio 以 deed mcp 命令启动。需要安装 Deed 工具链,来自 deed-lang 包(例如 cargo install deed-lang),它提供 deed 可执行文件。未声明任何认证、环境变量或请求头。
安装前请注意
该服务器仅限桌面环境并在本地运行,因此机器上必须安装并信任 Deed 工具链。清单未列出任何工具,此处无法说明助手实际能调用什么;依赖前请先查看工具列表。

安装

在 SourceWeft 中

  1. 打开 控制台中的 Deed,将其添加到工作区。
  2. 为需要使用其工具的对话启用该服务。

Desktop only,通过 STDIO。 STDIO 服务会启动本地进程,因此需要 SourceWeft 桌面宿主。

其他 MCP 客户端

参照 仓库 中的启动说明。

README

Deed

Deed is a contract-first language for code that machines write and humans review. The toolchain checks types, effect rows, capabilities, contracts, and before-and-after patch receipts.

console
cargo install deed-langdeed new greetingdeed check greetingdeed test greeting

The package is named deed-lang; it installs the deed binary. Run the local Model Context Protocol server over stdio with:

console
deed mcp

来源:crates/deed-cli/README.md,提交 44eb5a6

工具

0
SourceWeft 尚未在沙箱中启动过该软件包,因此其工具未知。

版本历史

1
  1. v0.2.13最新Sep 16, 2026

评分

已满足适用检查项的 50%

该评分衡量此收录条目的完整程度,依据注册中心条目、端点与公开来源计算得出。它不是对服务器本身的评价,也不表示服务器安全或当前可用:可连通性是带日期的检查结果,评分也不包含安装量或用户评价。

  • 近 30 天内可连通25 分

    请保持端点能够响应 MCP 握手;SourceWeft 每 30 天探测一次。

  • 已声明认证方式10 分

    请在注册中心条目中声明凭据请求头,或保持端点能够响应探测,以便判定其认证方式。

  • 已列出工具15 分

    请让服务器在无凭据时响应 tools/list,或发布可在沙箱中无凭据启动的软件包。

  • 描述必需15 分
  • 图标10 分
  • 文档15 分
  • 许可证10 分

其他 Deed 集成