Publish Deed through the official MCP Registry

CHANGELOG.md

@@ -28,10 +28,39 @@ release notes.
 
 ### Tools
 
+- None yet.
+
+### Measurements
+
+- None yet.
+
+## 0.2.12 (2026-08-14)
+
+### Programs that used to compile and no longer do
+
+- None yet.
+
+### Language
+
+- None yet.
+
+### Diagnostics
+
+- None yet.
+
+### Standard library
+
+- None yet.
+
+### Tools
+
 - The declared minimum Rust toolchain is now 1.88, matching the let-chain
   syntax already used by the parser and resolver. Rust 1.87 and older failed
   before `deed-lang` could compile. CI now builds the workspace with 1.88 so
   the declaration cannot silently fall behind the source again.
+- The `deed-lang` package now carries its README and the ownership marker used
+  by the official MCP Registry. Root `server.json` describes `deed mcp` as a
+  Cargo-installed stdio server.
 
 ### Measurements
 

Cargo.toml

@@ -24,7 +24,7 @@ members = [
 ]
 
 [workspace.package]
-version = "0.2.11"
+version = "0.2.12"
 edition = "2024"
 license = "Apache-2.0"
 repository = "https://github.com/deed-lang/deed"
@@ -36,25 +36,25 @@ rust-version = "1.88"
 # `deed-x.workspace = true`. These have to equal the version above, and
 # `crates/deed-driver/tests/publishing.rs` says so rather than trusting it.
 [workspace.dependencies]
-deed-ast = { path = "crates/deed-ast", version = "0.2.11" }
-deed-codegen = { path = "crates/deed-codegen", version = "0.2.11" }
-deed-dap = { path = "crates/deed-dap", version = "0.2.11" }
-deed-diagnostics = { path = "crates/deed-diagnostics", version = "0.2.11" }
-deed-driver = { path = "crates/deed-driver", version = "0.2.11" }
-deed-effects = { path = "crates/deed-effects", version = "0.2.11" }
-deed-explain = { path = "crates/deed-explain", version = "0.2.11" }
-deed-fetch = { path = "crates/deed-fetch", version = "0.2.11" }
-deed-fmt = { path = "crates/deed-fmt", version = "0.2.11" }
-deed-interp = { path = "crates/deed-interp", version = "0.2.11" }
-deed-lexer = { path = "crates/deed-lexer", version = "0.2.11" }
-deed-lsp = { path = "crates/deed-lsp", version = "0.2.11" }
-deed-mcp = { path = "crates/deed-mcp", version = "0.2.11" }
-deed-mir = { path = "crates/deed-mir", version = "0.2.11" }
-deed-parser = { path = "crates/deed-parser", version = "0.2.11" }
-deed-resolve = { path = "crates/deed-resolve", version = "0.2.11" }
-deed-rt = { path = "crates/deed-rt", version = "0.2.11" }
-deed-typeck = { path = "crates/deed-typeck", version = "0.2.11" }
-deed-wasm = { path = "crates/deed-wasm", version = "0.2.11" }
+deed-ast = { path = "crates/deed-ast", version = "0.2.12" }
+deed-codegen = { path = "crates/deed-codegen", version = "0.2.12" }
+deed-dap = { path = "crates/deed-dap", version = "0.2.12" }
+deed-diagnostics = { path = "crates/deed-diagnostics", version = "0.2.12" }
+deed-driver = { path = "crates/deed-driver", version = "0.2.12" }
+deed-effects = { path = "crates/deed-effects", version = "0.2.12" }
+deed-explain = { path = "crates/deed-explain", version = "0.2.12" }
+deed-fetch = { path = "crates/deed-fetch", version = "0.2.12" }
+deed-fmt = { path = "crates/deed-fmt", version = "0.2.12" }
+deed-interp = { path = "crates/deed-interp", version = "0.2.12" }
+deed-lexer = { path = "crates/deed-lexer", version = "0.2.12" }
+deed-lsp = { path = "crates/deed-lsp", version = "0.2.12" }
+deed-mcp = { path = "crates/deed-mcp", version = "0.2.12" }
+deed-mir = { path = "crates/deed-mir", version = "0.2.12" }
+deed-parser = { path = "crates/deed-parser", version = "0.2.12" }
+deed-resolve = { path = "crates/deed-resolve", version = "0.2.12" }
+deed-rt = { path = "crates/deed-rt", version = "0.2.12" }
+deed-typeck = { path = "crates/deed-typeck", version = "0.2.12" }
+deed-wasm = { path = "crates/deed-wasm", version = "0.2.12" }
 
 [workspace.lints.clippy]
 all = "warn"

README.md

@@ -48,9 +48,9 @@ language server are all in that one file.
 Start with the [tutorial](TUTORIAL.md) if you want one program built up one step at a time.
 
 ```
-$ tar xzf deed-v0.2.11-x86_64-unknown-linux-gnu.tar.gz
-$ ./deed-v0.2.11-x86_64-unknown-linux-gnu/deed --version
-deed 0.2.11
+$ tar xzf deed-v0.2.12-x86_64-unknown-linux-gnu.tar.gz
+$ ./deed-v0.2.12-x86_64-unknown-linux-gnu/deed --version
+deed 0.2.12
 ```
 
 With Rust 1.88 or newer instead, from crates.io or from a clone:
@@ -61,7 +61,8 @@ $ cargo install --path crates/deed-cli
 ```
 
 `deed` on crates.io belongs to somebody else, so the package is `deed-lang`.
-The binary it installs is `deed`.
+The binary it installs is `deed`; the [package README](crates/deed-cli/README.md)
+keeps the short install and MCP entry points next to the package metadata.
 
 **What the version promises.** `0.x` says the language can still move, so a file that
 compiles against one minor release may not compile against the next. Breaking moves are
@@ -152,6 +153,7 @@ stdout, so the machine writing the code can ask the compiler the same questions
 an editor does rather than scraping them out of terminal output. It holds no
 capability: a program arrives as text, the answer leaves as text, and a program
 whose row reaches a file is refused before it runs.
+Its official Registry name is `mcp-name: io.github.deed-lang/deed`.
 [how-to/let-an-agent-use-the-compiler.md](how-to/let-an-agent-use-the-compiler.md)
 has the tool reference and the one line worth reading.
 

crates/deed-cli/Cargo.toml

@@ -9,6 +9,7 @@
 # it would rewrite sentences that were true when they were written.
 name = "deed-lang"
 description = "The deed command line tool"
+readme = "README.md"
 version.workspace = true
 edition.workspace = true
 license.workspace = true

crates/deed-cli/README.md

@@ -0,0 +1,23 @@
+# 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-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:
+
+```console
+deed mcp
+```
+
+- [Repository](https://github.com/deed-lang/deed)
+- [Agent guide](https://deed-lang.github.io/agents/)
+- MCP Registry name: `mcp-name: io.github.deed-lang/deed`

crates/deed-cli/tests/registry.rs

@@ -0,0 +1,77 @@
+use std::path::{Path, PathBuf};
+
+use deed_lsp::{Json, json};
+
+const NAME: &str = "io.github.deed-lang/deed";
+
+fn root() -> PathBuf {
+    PathBuf::from(env!("CARGO_MANIFEST_DIR"))
+        .parent()
+        .and_then(Path::parent)
+        .expect("the workspace root should be two directories up")
+        .to_path_buf()
+}
+
+fn read(path: &str) -> String {
+    std::fs::read_to_string(root().join(path)).unwrap_or_else(|why| panic!("{path}: {why}"))
+}
+
+#[test]
+fn official_registry_metadata_describes_the_published_mcp_command() {
+    let metadata = json::parse(&read("server.json")).expect("server.json should be JSON");
+    assert_eq!(metadata.get("name").and_then(Json::as_str), Some(NAME));
+    assert_eq!(
+        metadata.get("version").and_then(Json::as_str),
+        Some(env!("CARGO_PKG_VERSION"))
+    );
+    assert_eq!(
+        metadata.at(&["repository", "url"]).and_then(Json::as_str),
+        Some(env!("CARGO_PKG_REPOSITORY"))
+    );
+
+    let packages = metadata
+        .get("packages")
+        .and_then(Json::as_array)
+        .expect("server.json should describe a package");
+    assert_eq!(packages.len(), 1);
+    let package = &packages[0];
+    assert_eq!(
+        package.get("registryType").and_then(Json::as_str),
+        Some("cargo")
+    );
+    assert_eq!(
+        package.get("identifier").and_then(Json::as_str),
+        Some(env!("CARGO_PKG_NAME"))
+    );
+    assert_eq!(
+        package.get("version").and_then(Json::as_str),
+        Some(env!("CARGO_PKG_VERSION"))
+    );
+    assert_eq!(
+        package.at(&["transport", "type"]).and_then(Json::as_str),
+        Some("stdio")
+    );
+
+    let arguments = package
+        .get("packageArguments")
+        .and_then(Json::as_array)
+        .expect("deed needs its mcp subcommand");
+    assert_eq!(arguments.len(), 1);
+    assert_eq!(
+        arguments[0].get("type").and_then(Json::as_str),
+        Some("positional")
+    );
+    assert_eq!(
+        arguments[0].get("value").and_then(Json::as_str),
+        Some("mcp")
+    );
+
+    assert_eq!(env!("CARGO_PKG_README"), "README.md");
+    let marker = format!("mcp-name: {NAME}");
+    assert_eq!(
+        read("crates/deed-cli/README.md")
+            .matches(marker.as_str())
+            .count(),
+        1
+    );
+}