Deed

io.github.deed-langPublished by GitHub account deed-langv0.2.13Updated Oct 24, 2026

Contract-first language and MCP server for capability-aware code and patch review.

The publisher's own server: deed.page

VerifiedSTDIODesktop onlyDeveloper ToolsSecurity & Monitoring

Overview

AI-generated overview

A local MCP server for a contract-first language that checks types, effects, capabilities, and patch receipts in machine-written code.

What you can do
Deed is a contract-first language for code that machines write and humans review. Its toolchain checks types, effect rows, capabilities, contracts, and before-and-after patch receipts. The MCP server runs locally over stdio via the deed mcp command, exposing that checking workflow to an assistant.
When to use it
Worth adding when an assistant generates or edits code and you want its output validated against declared contracts, effects, and capabilities before you accept it. Useful for patch review where before-and-after receipts matter.
Requirements
A local runtime: install the deed-lang package with cargo, which provides the deed binary, then run deed mcp over stdio. Desktop only; no authentication, environment variables, or headers are declared.
Before you install
The server runs as a local process and can check and review code and patches; treat any write, patch, or apply behavior as something to confirm before running. No credentials or secrets are declared.

Installation

In SourceWeft

  1. Open Deed in the dashboard and add it to a workspace.
  2. Enable the server for the chats that should use its tools.

Desktop only via STDIO. STDIO servers start a local process, so they need the SourceWeft desktop host.

Other MCP clients

Follow the launch instructions in the repository.

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.

console
cargo install deed-langdeed new greetingdeed check greetingdeed test greeting

The package is named deed-lang; it installs the deed binary. Run the local Model Context Protocol server over stdio with:

console
deed mcp

Source: crates/deed-cli/README.md at commit 44eb5a6

Tools

0
SourceWeft has not started this package in its sandbox yet, so its tools are not known.

Version history

1
  1. v0.2.13LatestSep 16, 2026

Score

50% of the applicable checks met

How complete this listing is, computed from the registry entry, the endpoint and public sources. Not a rating of the server and not a statement that it is safe or working today: reachability is a dated check, and no installs or reviews go into the score.

  • Reached in the last 30 days25 pts

    Keep the endpoint answering the MCP handshake; SourceWeft probes it every 30 days.

  • Auth declared10 pts

    Declare the credential headers in the registry entry, or keep the endpoint answering the probe so its auth can be classified.

  • Tools listed15 pts

    Answer tools/list without a credential, or ship a package that starts in a sandbox without one.

  • DescriptionRequired15 pts
  • Logo10 pts
  • Documentation15 pts
  • License10 pts

Other Deed integrations

deed.page

page.deedOfficial publisher

Publishes static files and folders to a permanent public HTTPS URL at a chosen slug, then updates, versions, password-protects, domains and measures the site.

Streamable HTTPWeb executable
Cloud & Infrastructure28 toolsNov 7, 2026

RateDeed

Published by GitHub account ratedeed

RateDeed lets an assistant find U.S. contractors by ZIP code, plan home projects, and send escrow-protected quote requests to local pros.

Streamable HTTPWeb executable
Location & Lifestyle7 toolsNov 8, 2026

Metadata MCP Connector

Published by GitHub account f-o-x11

Connects an assistant to a Metadata B2B advertising account to review ad performance, plan audiences, draft brand creative and check campaign readiness.

Streamable HTTPWeb executableAuth
Data & AnalyticsCredential requiredOct 24, 2026