
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
概覽
Deed 的本機 MCP 伺服器;Deed 是契約優先語言,其工具鏈會檢查型別、效應列、能力與修補回執。
- 可以做什麼
- 透過 stdio 向助理提供 Deed 工具鏈,用於契約優先的程式碼工作
- 檢查 Deed 原始碼中的型別、效應列、能力與契約
- 驗證程式碼變更前後的修補回執
- 藉由同一命令列工具鏈建立並測試 Deed 專案
- 適用情境
- 當你希望助理以 Deed 語言撰寫或審查程式碼,並由工具鏈實際檢查其契約、能力與修補回執,而不是直接採信時,值得加入。
- 執行需求
- 以本機程序在使用者電腦上執行,透過 stdio 以 deed mcp 指令啟動。需要安裝 Deed 工具鏈,來自 deed-lang 套件(例如 cargo install deed-lang),它會提供 deed 執行檔。未宣告任何驗證、環境變數或標頭。
安裝
在 SourceWeft 中
- 開啟 儀表板中的 Deed,將其新增到工作區。
- 為需要使用其工具的對話啟用該服務。
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.
The package is named deed-lang; it installs the deed binary. Run the local
Model Context Protocol server over stdio with:
- Repository
- Agent guide
- MCP Registry name:
mcp-name: io.github.deed-lang/deed
來源:crates/deed-cli/README.md,提交 44eb5a6
工具
0版本歷史
1- v0.2.13最新Sep 16, 2026
評分
已滿足適用檢查項的 50%
該評分衡量此收錄條目的完整程度,依據註冊中心條目、端點與公開來源計算得出。它不是對伺服器本身的評價,也不表示伺服器安全或目前可用:可連通性是帶日期的檢查結果,評分也不包含安裝量或使用者評價。
- 近 30 天內可連通25 分
請保持端點能夠回應 MCP 握手;SourceWeft 每 30 天探測一次。
- 已宣告認證方式10 分
請在註冊中心條目中宣告憑證請求標頭,或保持端點能夠回應探測,以便判定其認證方式。
- 已列出工具15 分
請讓伺服器在無憑證時回應 tools/list,或發布可在沙箱中無憑證啟動的軟體包。
- 描述必需15 分
- 圖示10 分
- 文件15 分
- 授權條款10 分
其他 Deed 整合
deed.page
page.deed官方發布者
把靜態檔案與資料夾發佈到指定 slug 的永久公開 HTTPS 網址,並可更新、版本管理、加上密碼、綁定網域和查看流量統計。

RateDeed
由 GitHub 帳號 ratedeed 發布
RateDeed 讓助理依美國郵遞區號尋找本地承包商、規劃居家裝修專案,並向支援履約保證的承包商送出報價請求。

Metadata MCP Connector
由 GitHub 帳號 f-o-x11 發布
將助理連接到 Metadata B2B 廣告帳戶,用來檢視廣告成效、規劃受眾、產生品牌創意並檢查行銷活動的就緒狀態。