# Wasm

> Browse 1 item tagged with Wasm.

## Items

- [Edict](https://mcpserver.ever.works/items/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.

---

_Canonical page: https://mcpserver.ever.works/tags/wasm_