Model Context Protocol (MCP) Server: io.github.deed-lang/deed

The io.github.deed-lang/deed MCP server is a contract-first language toolchain that supports capability-aware code and patch review. Deed checks types, effect rows, capabilities, contracts, and before-and-after patch receipts, and exposes a local MCP server over stdio via the deed mcp command.

🛠️ Key Features

• Contract-first language and MCP server for capability-aware code and patch review
• Toolchain validates types, effect rows, capabilities, and contracts
• Produces before-and-after patch receipts

🚀 Use Cases

• Checking and testing Deed packages with deed check and deed test
• Reviewing patches using the generated before-and-after patch receipts
• Running the MCP server locally over stdio (deed mcp)

⚡ Developer Benefits

• Type checking plus effect rows and capability validation
• Contract validation for code that machines write and humans review
• Local MCP integration for tool use via stdio

⚠️ Limitations

• Documentation excerpt does not list specific MCP tools, protocols, or endpoints beyond stdio startup.