Edict

This is a compiler-as-a-service for agent-written code. Instead of generating text that gets parsed, your agent builds JSON ASTs directly and submits them through tools like edict_check and edict_compile. The pipeline validates structure, resolves names, type-checks, tracks effects (pure, io, reads, writes), verifies contracts via Z3, and outputs WASM. Errors come back as structured JSON with enough context for self-repair. You'd use this when you want agents to write programs with formal verification, not just scripts. It runs in Node, browser, Docker, or QuickJS, and includes 41 example programs to learn from. The effect system and WASM sandbox mean agent code runs isolated by default.