Sowiedu/Edict

[![Sowiedu/Edict MCP server](https://glama.ai/mcp/servers/sowiedu/edict/badges/score.svg)](https://glama.ai/mcp/servers/sowiedu/edict) 📇 🏠 – Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop.

VERIFIED 22 tools·npm·v1.23.2

Install

npx -y edict-lang

Capabilities

Server instructions

Edict is a programming language for AI agents. Programs are JSON ASTs, not text. Call edict_schema(format: 'agent') ONCE to bootstrap — it returns the schema, builtins, effects, compact format maps, and an agent guide. Then: write your program as a JSON AST → call edict_check → fix errors using the structured error response → call edict_compile → call edict_run. NEVER re-fetch schema or examples within the same session. Cache the response from edict_schema.