by deed-lang
[](https://glama.ai/mcp/servers/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`.
Get the fastest-growing projects, useful MCP servers, and technical reads in one weekly email.