Zed Extension Publishing Prompt

Copy this prompt when you’re ready to publish the SEA-DSL extension to Zed’s registry.

Prerequisites Checklist

Before running this prompt, ensure:

Prompt

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

Complete the Zed extension publishing for SEA-DSL:

1. Update `extensions/sea-dsl/extension.toml`:
   - Replace the local `file:///` grammar reference with the GitHub HTTPS URL
   - Use this grammar repo: https://github.com/GodSpeedAI/tree-sitter-sea
   - Use this commit SHA: [INSERT_COMMIT_SHA]

2. Verify the extension.toml follows Zed requirements:
   - schema_version = 1
   - No "zed" or "Zed" in the name
   - HTTPS URLs only (no SSH)

3. Create a PR description for zed-industries/extensions:
   - Extension adds SEA-DSL language support
   - Includes tree-sitter grammar for syntax highlighting
   - Includes language configuration (brackets, comments, etc.)
   - Uses domainforge-lsp for language server features

4. Provide the manual steps to submit the PR to zed-industries/extensions

Context:
- Extension source: \$PROJECT_ROOT/extensions/sea-dsl/
- Tree-sitter grammar: \$PROJECTS_DIR/tree-sitter-sea/
- VSCode extension already published: https://marketplace.visualstudio.com/items?itemName=GodSpeedAI.domainforge

Expected Outcome

After running this prompt, you should have:

  1. Updated extension.toml with GitHub URLs
  2. Instructions for submitting PR to zed-industries/extensions
  3. PR description text ready to paste

Reference: Zed Extension Registry Process

  1. Fork https://github.com/zed-industries/extensions
  2. Add your extension as a git submodule: 
    1

    git submodule add https://github.com/GodSpeedAI/SEA extensions/sea-dsl
  3. If extension is in a subdirectory, specify path in the submodule config
  4. Create PR with description of what the extension provides
  5. Once merged, extension auto-publishes to Zed registry