Edict

Overview

Edict is an AI-agent programming language that compiles JSON AST directly to WASM. It combines typed systems with effect tracking and Z3-verified formal verification, enabling precise control over agent behavior and guarantees. Through the Model Context Protocol, Edict becomes a set of tools that Claude, Cursor, VS Code, and other MCP clients can call directly.

The server runs locally via the npm package edict-lang, communicating with your MCP client over stdio. No authentication is required—install and start using it immediately. Version v1.9.2 is available under the MIT license, with full source code at Sowiedu/Edict on GitHub.

Edict belongs in the AI & Agents category on mcp.site. It works with Claude Desktop, Claude Code, Cursor, VS Code, Windsurf, Zed, and any other MCP-compatible client. Maintainers of Edict are invited to claim this listing to verify ownership and keep information up to date.

Installation

// claude_desktop_config.json
{
  "mcpServers": {
    "edict": {
      "command": "npx",
      "args": [
        "-y",
        "edict-lang"
      ]
    }
  }
}