Edict

Edict is a statically-typed, effect-tracked programming language purpose-built for AI agents, where programs are represented as JSON ASTs (Abstract Syntax Trees) rather than text. The compiler pipeline is fully exposed via Model Context Protocol (MCP), enabling agents to write, verify, and execute code programmatically with structured error handling for self-repair. It features advanced capabilities such as type checking, effect tracking, contract verification, and WASM compilation, making it ideal for autonomous AI systems that generate or validate code.