mcpField
D
Deed

Deed

本地服务
deed-lang.github.io开发工具911 周前更新
代码仓库访问官网

关于 Deed

Deed 是面向机器编写、人类审查代码的契约优先语言和工具链。它检查类型、效果、能力与契约，并记录补丁前后的校验凭据。

主要功能

  1. 01类型与效果检查
  2. 02能力检查
  3. 03契约检查
  4. 04补丁前后校验凭据
  5. 05通过 deed mcp 启动本地 MCP 服务

适用场景

  1. 01审查前检查生成的代码
  2. 02验证能力和契约约束
  3. 03运行项目检查与测试
  4. 04通过本地 MCP 连接使用 Deed

MCP 相关

Deed 可通过 `deed mcp` 经由标准输入输出运行本地 MCP 服务，向 MCP 客户端提供其能力。

配置

本地服务的配置在各客户端中通用，复制后粘贴到客户端的 MCP 配置文件即可。

暂未收录安装方式

我们还没有获取到这个服务的安装包或远程地址，请按项目 README 中的说明安装。

代码仓库
安装包
cargodeed-lang0.2.13

工具

还没有获取到工具列表

本地服务需要在你的电脑上运行后才能读取工具，维护者暂未提供工具列表。

详细介绍

Deed

Deed 是一种契约优先语言，用于编写机器生成、由人审查的代码。工具链会检查类型、效应行、能力、契约以及补丁前后的收据。

cargo install deed-lang
deed new greeting
deed check greeting
deed test greeting

该软件包名为 deed-lang；安装后会提供 deed 二进制文件。通过标准输入输出运行本地 Model Context Protocol 服务：

deed mcp

评论

支持 Markdown

第一次接触 MCP？

从协议是什么，到在客户端里装上第一个服务，这几条回答覆盖了大多数入门问题。

一个开放协议，规定了 AI 应用如何以统一方式连接外部工具与数据源。客户端负责与模型对话，MCP 服务负责提供工具、资源和提示模板，两者通过标准消息通信，同一个服务可以被不同客户端复用。