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 整合