AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
A programming language designed for AI agents. No parser. No syntax. Agents produce AST directly as JSON. Edict is a statically-typed, effect-tracked programming language where the canonical program format is a JSON AST. It's purpose-built so AI agents can write, verify, and execute programs through a structured pipeline — no text parsing, no human-readable syntax, no ambiguity. JSON AST —…
Verification confirms publisher identity (repo ownership), not code safety. The security scan covers known CVEs and suspicious install scripts — it cannot prove the absence of malicious code.
A programming language designed for AI agents. No parser. No syntax. Agents produce AST directly as JSON. Edict is a statically-typed, effect-tracked programming language where the canonical program format is a JSON AST. It's purpose-built so AI agents can write, verify, and execute programs through a structured pipeline — no text parsing, no human-readable syntax, no ambiguity. JSON AST — Programs are JSON objects, not text files. No lexer, no parser. Structured errors — Every error is a typed…