Add Deed MCP server

README.md

@@ -1063,6 +1063,7 @@ Data Platforms for data integration, transformation and pipeline orchestration.
 - [MasterPlayspots/motionspec](https://github.com/MasterPlayspots/motionspec) [![MasterPlayspots/motionspec MCP server](https://glama.ai/mcp/servers/MasterPlayspots/motionspec/badges/score.svg)](https://glama.ai/mcp/servers/MasterPlayspots/motionspec) 📇 ☁️ 🏠 - Reduced-motion / WCAG 2.2.2+2.3.3 verification for web animation: agents author validated specs; a deterministic compiler emits reduced-motion-safe, on-budget CSS. Keyless hosted endpoint (motion_catalog, motion_validate).
 - [Vivekpatil200320/CyberRescue](https://github.com/Vivekpatil200320/cyberrescue) [![cyberrescue MCP server](https://glama.ai/mcp/servers/Vivekpatil200320/cyberrescue/badges/score.svg)](https://glama.ai/mcp/servers/Vivekpatil200320/cyberrescue) 🐍 🏠 - Secure host-level telemetry gateway enabling sandboxed AI agents to dynamically fetch container logs and track kernel resource metrics.
 - [davidmosiah/delx-mcp-server](https://github.com/davidmosiah/delx-mcp-server) [![Delx MCP Server](https://glama.ai/mcp/servers/davidmosiah/delx-mcp-server/badges/score.svg)](https://glama.ai/mcp/servers/davidmosiah/delx-mcp-server) 📇 🏠 ☁️ 🍎 🪟 🐧 - Native stdio bridge for the hosted Delx Protocol MCP endpoint, with one-command client install, doctor checks and live tool discovery.
+- [deed-lang/deed](https://github.com/deed-lang/deed) 🦀 🏠 🍎 🪟 🐧 - Contract-first programming language and local MCP server for checking types, effects, capabilities, and contracts in agent-written modules. Its review tool compares before and after source sets and returns machine-readable receipts for new authority, weaker promise tiers, and new Guarded runtime obligations. Install: `cargo install deed-lang`; run `deed mcp`.
 - [DeusData/codebase-memory-mcp](https://github.com/DeusData/codebase-memory-mcp) [![DeusData/codebase-memory-mcp MCP server](https://glama.ai/mcp/servers/DeusData/codebase-memory-mcp/badges/score.svg)](https://glama.ai/mcp/servers/DeusData/codebase-memory-mcp) 🌊 🏠 🍎 🪟 🐧 - Code-intelligence engine that indexes a repo into a persistent knowledge graph — functions, classes, call chains, HTTP routes, cross-service links. 159 languages via tree-sitter + Hybrid LSP, sub-ms structural queries, ~99% fewer tokens than grep. Single static binary, zero dependencies, 100% local. `npx codebase-memory-mcp`
 - [docweave/mcp](https://github.com/NicolasMartalog/docweave-mcp) [![docweave/mcp MCP server](https://glama.ai/mcp/servers/NicolasMartalog/docweave-mcp/badges/score.svg)](https://glama.ai/mcp/servers/NicolasMartalog/docweave-mcp) 📇 🏠 ☁️ - Generate and read PDFs for AI agents: a `generate_pdf` tool (HTML, a URL, or a template + JSON → PDF) and a `read_pdf` tool (a PDF → text/markdown). Run locally with `npx @docweave/mcp` or use the hosted streamable-HTTP endpoint. Chromium-rendered, priced per document.
 - [emailens/mcp](https://github.com/emailens/mcp) [![emailens/mcp MCP server](https://glama.ai/mcp/servers/emailens/mcp/badges/score.svg)](https://glama.ai/mcp/servers/emailens/mcp) 🎖️ 📇 ☁️ - Official MCP server for Emailens, the rendering linter for email. Lint HTML email for rendering issues across 15 clients (Gmail, Outlook, Apple Mail and more), score CSS compatibility 0-100 per client, simulate dark mode, and get framework-native fix snippets for React Email, MJML, and Maizzle. `npx -y @emailens/mcp`