Sowiedu/Edict

Overview

A programming language that skips traditional parsing. AI agents produce an abstract syntax tree directly as JSON. The language is statically typed, tracks effects, verifies contracts, and compiles to WebAssembly via the Model Context Protocol.

Best for

Best for
Developers experimenting with agent-based code generation that demands verifiable, typed output.

Use cases

• Generating verified code from an AI agent's output as structured AST
• Enforcing type safety and effect tracking in agent-generated programs
• Compiling agent-produced JSON AST to WebAssembly for sandboxed execution

Notes

A programming language that skips traditional parsing. AI agents produce an abstract syntax tree directly as JSON. The language is statically typed, tracks effects, verifies contracts, and compiles to WebAssembly via the Model Context Protocol.

6 stars on GitHub. Last updated 2026-05-16. Licensed MIT.

Use cases

• Generating verified code from an AI agent’s output as structured AST
• Enforcing type safety and effect tracking in agent-generated programs
• Compiling agent-produced JSON AST to WebAssembly for sandboxed execution

Pros

• Eliminates parser overhead and ambiguity by accepting AST directly
• Strong static guarantees: types, effects, and contracts verified at compile time
• Targets WebAssembly for safe, portable execution

Cons

• Extremely early stage with only 6 GitHub stars and minimal community
• No human-friendly syntax makes debugging and manual authoring difficult
• Depends on agents correctly producing the JSON AST format, adding a failure point

Indexed from awesome-mcp-servers-punkpeye and enriched against its public facts.