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. 402 installs a week from npm. Last commit 25 Oct 2026.

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

Installs per day peak 150 · avg 17 · +39% w/w

a month agotoday

402

Installs / week

npm · edict-lang

Stars

0 open issues

25 Oct 2026

Last commit

no releases in 90 days

MIT

License

JavaScript

What the code does

We read the source, 6 d ago · rules 995398eba69f

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": {
      "command": "npx",
      "args": [
        "-y",
        "edict-lang"
      ]
    }
  }
}

~/.codex/config.toml

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

.cursor/mcp.json

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

.vscode/mcp.json

{
  "servers": {
    "edict": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "edict-lang"
      ]
    }
  }
}

Alternatives to Edict

same job, measured the same way

Kujolang.ai MCP

by kujolang

AI-native programming language and toolchain for accountable, verifiable agent-driven development.

7 tools answering

Agent Lsp

by blackwell-systems

Language servers as 66 code-intelligence tools for AI agents, CI-verified on 32 languages.

1 166 installs/wk local only

AnnealBridge

by thetsungying

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

210 installs/wk local only

Code Runner

by formulahendry

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

954 installs/wk local only

Clify

by netlify-clify-dev

Verified websites as JSON commands for AI agents over plain curl or MCP.

7 tools answering

Brainfaq MCP

by labarilem

MCP server for the BrainFuck programming language

43 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.

62 installs/wk local only

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 402 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 in the form 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 402 times in the last week. Week over week that is +39%. 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 13 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.