# Edict

> Agent-first programming language where agents produce JSON AST; compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, compiles to WASM. Provides 19 MCP tools for full compile-and-execute loop.

- **URL:** https://github.com/Sowiedu/Edict
- **Category:** Code Execution Automation MCP Servers
- **Tags:** Programming Language, Wasm, Compiler, Open Source
- **Updated:** 2026-04-06 22:28
- **Canonical page:** https://mcpserver.ever.works/items/edict

## Details

# Edict

Agent-first programming language where agents produce JSON AST; compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, compiles to WASM. Provides 19 MCP tools for full compile-and-execute loop.

[https://github.com/Sowiedu/Edict](https://github.com/Sowiedu/Edict)

---

_This Markdown mirror is generated by Ever Works for AI agents. The canonical HTML page is at https://mcpserver.ever.works/items/edict._