About Deed
Deed is a contract-first language and toolchain for machine-written code reviewed by people. Its checks cover types, effects, capabilities, contracts, and before-and-after patch receipts.
Key features
- 01Type and effect checking
- 02Capability checks
- 03Contract checking
- 04Before-and-after patch receipts
- 05Local MCP server via deed mcp
Use cases
- 01Check generated code before review
- 02Validate capability and contract constraints
- 03Run project checks and tests
- 04Expose Deed through a local MCP connection
MCP support
Deed runs a local MCP server over stdio with `deed mcp`, making its capabilities available to MCP clients.
Configuration
Local server config is the same for every client. Copy it into your client’s MCP config file.
We haven’t collected a package or remote endpoint for this server. Follow the instructions in the project README.
Tools
Local servers expose tools only once running on your machine, and the maintainer has not provided a tool list.
Details
From the project READMEDeed
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.
cargo install deed-lang
deed new greeting
deed check greeting
deed test greeting
The package is named deed-lang; it installs the deed binary. Run the local
Model Context Protocol server over stdio with:
deed mcp
- Repository
- Agent guide
- MCP Registry name:
mcp-name: io.github.deed-lang/deed
Comments
New to MCP?
From what the protocol is to installing your first server, these answers cover most first questions.
An open protocol that defines how AI applications connect to external tools and data in a uniform way. Clients talk to the model; MCP servers provide tools, resources and prompt templates. They exchange standard messages, so one server can be reused by many clients.