Edict

Edict is a statically-typed, effect-tracked programming language purpose-built for AI agents to write, verify, and execute programs via a structured, parser-free pipeline. Designed around a JSON AST format, Edict enables direct interaction for agents through the Model Context Protocol (MCP), allowing for robust error handling, strong type and effect tracking, contract verification, and secure compilation to WebAssembly. Developers and AI system integrators can run Edict natively in Node.js, via Docker, in the browser, and within embedded WASM environments.