Edict MCP Server

by sowiedu Your server? Claim it

local only

Edict runs on your own machine — the client starts it, so there is no endpoint to ping. 207 installs a week from npm. Last commit 28 Aug 2026.

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

Installs per day peak 198 · avg 35 · +308% w/w

a month agotoday

207

Installs / week

npm · edict-lang

Stars

0 open issues

28 Aug 2026

Last commit

0 releases in 90 days

MIT

License

JavaScript

What the code does

We read the source, 15 h ago · rules 3dff92dd89df

Capabilities

What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.

Runs an external command .agent/skills/skill-creator/eval-viewer/generate_review.py:291

        result = subprocess.run(

Runs an external command src/codegen/node-host-adapter.ts:75

        const stdout = execFileSync(process.execPath, ["-e", script], {

Executes code built at runtime src/contracts/generate-tests.ts:358, src/contracts/solver-context.ts:64, src/contracts/solver/solver.ts:318 и ещё 1

            const val = model.eval(v, true);

Page executes code built at runtime .agent/skills/skill-creator/eval-viewer/viewer.html:849

          wrapper.innerHTML = htmlStr;

Page loads a third-party script .agent/skills/skill-creator/eval-viewer/viewer.html:10

  <script src="https://cdn.sheetjs.com/xlsx-0.20.3/package/dist/xlsx.full.min.js" integrity="sha384-EnyY0/GSHQGSxSgMwaIPzSESbqoOLSexfnSMN2AP+39Ckmn92stwABZynq1JyzdT" crossorigin="anonymous"></script>

Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.

This code can reach further than it looks

We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.

Connect this server

This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.

Claude Code Claude Desktop Codex Cursor VS Code

run in your terminal

claude mcp add edict -- npx -y edict-lang

~/Library/Application Support/Claude/claude_desktop_config.json

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

~/.codex/config.toml

[mcp_servers.edict]
command = "npx"
args = ["-y", "edict-lang"]

.cursor/mcp.json

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

.vscode/mcp.json

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

Alternatives to Edict

same job, measured the same way

AnnealBridge

by thetsungying

Optimization middleware for AI agents: JSON problem in, verified and ranked solutions out.

local only

Code Runner

by formulahendry

Code Runner MCP Server which can run code in various programming languages.

465 installs/wk local only

Brainfaq MCP

by labarilem

MCP server for the BrainFuck programming language

28 installs/wk local only

Fuse

by litenova-solutions

Local .NET compiler verification, change impact, and typed wiring for AI agents.

local only

Invovate MCP Server

by lightspeedplusone

AI-agent invoice generator: PDF, JSON & UBL in 11 languages via the Invovate API.

61 installs/wk local only

DeadCat: Reaper

by systemblueio

Operate a REAPER session in plain language, with writes verified against REAPER feedback.

local only

CICADA

by wende

Code intelligence MCP server for 17+ programming languages.

265 installs/wk local only

Agent Commerce

by petraport

AI-agent product catalog: search, lookup & purchase routing over verified merchant data.

answering

Edict — questions

Answers built from our own checks of this server.

Why is there no uptime for Edict?

Edict runs on your own machine over stdio — there is no network address to reach, so uptime cannot be measured for it by anyone. What can be measured is adoption: the npm package edict-lang was installed 207 times last week.

How do I connect Edict?

Copy the ready config from this page — we generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each with the file path that client actually reads. It runs locally, so the command pulls edict-lang straight from npm; nothing to host, nothing to sign up for.

How many people use Edict?

The npm package edict-lang was installed 207 times in the last week. Week over week that is +308%. We show installs rather than GitHub stars on purpose: a star is a bookmark, an install is someone actually running it.

Is Edict open source?

Yes — it is published under the MIT licence, written in JavaScript and 11 stars on GitHub. The source link is on this page, so you can read exactly what it does with your data before you connect it.