Edict

Edict is a Model Context Protocol (MCP) server and specialized programming language designed for AI agents. It exposes a robust suite of tools that lets AI agents (such as those used by Claude, Cursor, and other MCP-compatible clients) generate, verify, and execute statically-typed programs as JSON ASTs, all without text parsing. Edict compiles programs to WebAssembly (WASM), enforces strong effect and contract checking (with Z3 SMT verification), and features detailed structured error reporting for agent self-repair. Integrations include direct WASM sandbox execution, host adapters for resources like filesystem, HTTP, and crypto, Docker support, Node.js, and in-browser or edge runtime execution.