Edict is a purpose-built programming language designed for AI agents, where the canonical program format is a JSON AST instead of traditional text-based syntax. This eliminates the need for parsing and ambiguity, allowing agents to directly generate structured programs. It features a robust pipeline including schema validation, name resolution, static typing, effect tracking, and contract verification using Z3/SMT solvers. Programs are compiled to WebAssembly (WASM) for secure, sandboxed execution, offering strong isolation and explicit capability declarations. All compiler tools are exposed via the Model Context Protocol (MCP) for seamless integration with AI agents, facilitating self-repair through structured error feedback.
主要功能
01JSON AST for direct agent program generation without parsers
02Statically-typed with refinement types and comprehensive type system
03Compile-time contract verification using Z3/SMT with counterexamples
040 GitHub stars
05Structured errors with rich context for agent self-repair
06Effect tracking for explicit declaration and verification of side effects
