Publish canonical leddy-mcp-server.rs repository

[ORESoftware]

Goal

Create the public short-name repository led-dynamo/leddy-mcp-server.rs after leddy-sync is published.

Required Zed graph

[install]
dir = ".vendor/.zed"

[dependencies]
"led-dynamo/leddy-clients" = "^0.1.0"
"led-dynamo/leddy-interfaces" = "^0.1.0"
"led-dynamo/leddy-lib" = "^0.1.0"
"led-dynamo/leddy-cli" = "^0.1.0"
"led-dynamo/leddy-sync" = "^0.1.0"
"shared-auth/shared-auth-clients" = "^0.1.0"

The initial server should expose a read-only Zed dependency graph and device/fleet metadata surfaces. Any write-capable device commands require explicit authentication, authorization, confirmation, audit logging, and rate limits in a later change.

Publication order

1. merge the executable seed in led-dynamo/.github
2. publish and validate leddy-sync
3. publish leddy-mcp-server.rs
4. validate the initial MCP and Zed CI
5. add the delivery record to GitHub Project Bootstrap Leddy Zed package family and complete polyglot clients matrix #1 and Linear

Git-submodule interoperability

Canonical package repositories may remain committed gitlinks as exact source transport. Zed owns package identity, dependency intent, materialization, and immutable lock provenance. Adopt existing canonical gitlinks with zed overtake --git-submodules; never create a parallel long-name coordinate or second workspace path.

Tracking

• Sync prerequisite: Publish canonical leddy-sync Zed package #17
• GitHub Project: https://github.com/orgs/led-dynamo/projects/1
• Linear project: https://linear.app/denman/project/githubcomled-dynamo-bd51986e8494

Acceptance criteria

• executable repository seed is reviewed and merged in led-dynamo/.github
• leddy-sync exists and resolves first
• public repository exists at the canonical short name
• formatting, Clippy, tests, MCP contract checks, and manifest checks pass
• delivery record is represented in GitHub Project Bootstrap Leddy Zed package family and complete polyglot clients matrix #1 and Linear

[ORESoftware]

Seed delivery completed — 2026-08-08

The executable leddy-mcp-server.rs repository seed is merged in .github#19 at 466e7d06069274168ae5d263e7c3a011a59ec1b4 after both organization-baseline and public-privacy workflows passed.

• seed: repository-seeds/leddy-mcp-server.rs/
• Linear issue: DEN-2885
• dependencies: clients, interfaces, lib, CLI, sync, and shared-auth/shared-auth-clients
• materialization: .vendor/.zed
• implementation: read-only JSON-RPC stdio MCP server with initialize, ping, tool listing/calling, dependency-graph output, tests, CI, and a credential-free publisher

The publisher enforces the intended order and refuses to publish until led-dynamo/leddy-sync exists.

Remaining: complete DEN-2884, publish the canonical short-name MCP repository, validate initial CI/MCP behavior/real Zed resolution, and add the delivery item to GitHub Project #1 and Linear.