io.github.Sowiedu/edict

io.github.Sowiedu/edict

AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.

View repository →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

{
  "mcpServers": {
    "edict": {
      "command": "npx",
      "args": [
        "-y",
        "edict-lang@1.9.2"
      ]
    }
  }
}

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
1.9.2
Registry
active
Published
3/11/2026

More Developer Tools servers

Browse all Developer Tools →

Bursia MCP Visitor Gateway Canary

soyeladice-svg

Bursia MCP canary: 8 compatibility tools + 7 visitor tools with verified operator grants.

Developer ToolsAdded 1 month ago

ZKshare

sp0oby

ZKshare stdio MCP: store/prove/share, semantic search, sandbox proxy to HTTPS /api/v1/context.

Developer ToolsAdded 6 months ago

SafeNode MCP Gateway

sp3ak

Policy proxy for MCP tool calls. A denied call never reaches the downstream server.

Developer ToolsAdded 3 months ago

Sunstone Weave: Local Semantic Code Search

space-bacon

Semantic search over local folders of code and docs, with a code-search encoder running on your CPU.

Developer ToolsAdded 1 month ago

Smeltr Token-2022

Space-Raven

Validate Token-2022 configs (transfer fee, soulbound, delegate). Read-only — no keys or RPC.

Developer ToolsAdded 4 months ago

io.github.spacecowboyian/brains

spacecowboyian

Personal wiki and memory for AI assistants: store, search, and recall structured notes.

Developer ToolsAdded 3 weeks ago

Add the badge to your site

Show visitors that io.github.Sowiedu/edict is listed here — it’s also the link we check for a free listing.

io.github.Sowiedu/edict — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-sowiedu-edict?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="io.github.Sowiedu/edict — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![io.github.Sowiedu/edict — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-sowiedu-edict?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.