Edict

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

TypeScript Local

★ 12 stars Last pushed 2026-09-19 License: MIT

View repository →

Connect

Review any command before running it. Package names and URLs come from the server's own registry entry.

npx -y edict-lang@1.9.2

Or add to your MCP client config:

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

Run Python code in a secure sandbox via MCP tool calls

Containerized environments for coding agents. Multiple agents can work independently, isolated in fresh containers and git branches. No…

Run untrusted Python/JavaScript code in WebAssembly sandboxes.

OpenAPI-MCP: Dockerized MCP Server to allow your AI agent to access any API with existing api docs.

A Node.js MCP server that spins up isolated Docker-based sandboxes for executing JavaScript snippets with on-the-fly npm dependency…

Run JavaScript and TypeScript in sandboxed V8 isolates with policy-controlled host capabilities.

Data from the Official MCP Registry