Edict: MCP server, setup and security

What Edict does

According to its repository: “Agent-oriented programming language: agents emit a JSON AST that the compiler validates, type- and effect-checks, verifies with Z3/SMT and compiles to WASM.”

The Model Context Protocol (MCP) is a standard plug between an AI agent and an outside service: once the server is connected, its tools show up in the agent, which decides when to call them. Edict is listed under Code execution, a category of 32 servers in the directory, where it ranks #26 by stars.

Topics declared by the repository: ai-agents, compiler, effect-system, formal-verification, json-ast, programming-language.

Installing and connecting Edict

Distribution modes declared in the official MCP registry:

• npm package (Node.js, usually started with npx)

It works with any MCP-compatible client (Claude Desktop, Claude Code, Cursor, VS Code, Codex and most recent agents). You add one entry to the client's MCP configuration: server name, start command or URL, environment variables. Project language: TypeScript.

Security: what to check

Connecting an MCP server means installing software that talks straight to your agent: it runs with your rights and the model trusts its tool descriptions. The risk therefore depends on what it can touch and how far its code can be trusted.

Points found for Edict:

• System access: the Code execution category gives the agent control over files, a terminal, code or a browser. A booby-trapped instruction in content the agent reads (prompt injection) can then turn into an action.

Good practice: grant only the rights needed (least privilege), require human approval for irreversible actions, and run the AI agent security check.

Project activity and maintenance

Created on February 24, 2026, the Sowiedu/Edict repository has 13 stars and 2 forks, with 0 open issues. It has more stars than 31% of the servers in the directory. It received changes this month. Version published in the registry: 1.9.2 (March 11, 2026).

Stars measure attention, not quality: a recent, heavily promoted project can collect them fast, while a useful but niche server will have few.