# Edict

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

Canonical: https://claudelist.com/listings/mcp-reg-io-github-sowiedu-edict-4a4438282d

Category: MCP Servers

Source: community · Sowiedu

Source checked: 2026-10-14

Website: https://www.claudemcp.org/mcp/registry/io-github-sowiedu-edict-4a4438282d3e.html

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

## Install or set up

1. Review the publisher repository and npm package `edict-lang@1.9.2` before running it. The MCP Registry declares this package as a stdio server.
2. Install Node.js, then run the command below in your Claude Code project. Check the publisher README for any account or configuration requirements.
3. Restart Claude Code and use `/mcp` to confirm the connection and review its tools and permissions.

```sh
claude mcp add mcp-io-github-sowiedu-edict-4a4438 -- npx -y edict-lang@1.9.2
```

Installation guide: https://github.com/Sowiedu/Edict