edict — Claude Code MCP server: what it does, how to install
Provides an agent compiler without a parser, letting models generate programs directly as JSON AST and compile them into WebAssembly.
claude mcp add edict -- npx -y edict-langWhat edict does
Edict bypasses standard text syntax entirely. Instead of parsing text files, the compiler expects the language model to supply abstract syntax trees as JSON objects. The language includes static typing and effect tags such as input-output markers or failure flags. When a check fails, the tool sends back structured diagnostics so the agent can adjust its payload.
Contract verification relies on Z3 to evaluate assertions during the build stage. If an invariant breaks, the solver outputs a counterexample explaining the defect. Passing trees are transformed into WebAssembly binaries through an internal encoder. Execution occurs inside a sandboxed environment without default operating system privileges.
Without configured host adapters, the binary cannot touch disk paths or initiate network requests. Memory caps and execution timeouts guard runtime execution.
What it helps with
- generate programs as JSON abstract syntax trees without text parsing
- verify function types and side effects ahead of execution
- validate pre- and post-conditions with SMT-based contract proofs
- compile validated trees into WebAssembly modules inside a sandbox
- receive structured failure feedback for autonomous code repair
Example prompts for the agent
- Inspect the AST specification using
edict_schemabefore building the program - Validate types, effects, and contracts with
edict_checkfor this JSON tree - Compile the verified AST with
edict_compileand execute it viaedict_run
How to install edict
Platform CLI
claude mcp add edict -- npx -y edict-langPlatform CLI
codex mcp add edict -- npx -y edict-langConfig file
{
"mcpServers": {
"edict": {
"command": "npx",
"args": [
"-y",
"edict-lang"
]
}
}
}Config file
{
"servers": {
"edict": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"edict-lang"
]
}
}
}Platform CLI
gemini mcp add edict npx -y edict-langStep by step, with commands for each platform: How to add an MCP server to Claude Code, Codex, Cursor, VS Code, Gemini CLI and more
Questions about edict
How to install edict in Claude Code?
Run claude mcp add edict -- npx -y edict-lang in your terminal.
What does edict do?
It provides an agent-oriented programming language compiler where models emit JSON AST directly and compile it into sandboxed WebAssembly.
How does the server communicate compilation errors?
The compiler sends back structured JSON objects detailing failure contexts, expected types, and solver counterexamples for self-repair.
