LocalFree

Edict MCP server

Sowiedu/Edict

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.

13 GitHub stars2 forks320 npm downloads / month
Source code

Install Edict in Claude Code

Claude Code
claude mcp add edict -- npx -y edict-lang
mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)
{
  "mcpServers": {
    "edict": {
      "command": "npx",
      "args": [
        "-y",
        "edict-lang"
      ]
    }
  }
}

Frequently asked questions

What does the Edict MCP server do?

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.

Is the Edict MCP server free?

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Does Edict run locally or remotely?

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

How do I add Edict to Claude Code?

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

More code execution MCP servers

View all

Prolog Reasoner

12

rikarazome/prolog-reasoner

SWI-Prolog execution for LLMs with CLP(FD), negation as failure and recursion.

LocalFreePython

Srunx

24

ksterx/srunx

Submit SLURM jobs, run YAML workflows, monitor GPU resources, manage SSH profiles and sync files with local or SSH-remote HPC clusters.

LocalFreePython

Piston

9

alvii147/piston-mcp

Execute code through the Piston remote code execution engine.

LocalAccount neededPython

Outsource

30

gwbischof/outsource-mcp

Delegate tasks to other AI providers' models, e.g. ask OpenAI to generate an image.

LocalAccount neededPython

codecalc

5

The-40-Thieves/codecalc

Code and logic calculator with an offline core: run code, exact symbolic math, SMT/logic and complexity analysis, with optional gVisor/AppContainer sandboxing.

LocalFreePython

YepCode

47

yepcode/mcp-server-js

Execute any LLM-generated code in the YepCode secure and scalable sandbox environment and create your own MCP tools using JavaScript or Python, with full support for NPM and PyPI packages

LocalAccount neededTypeScript