edict for Claude Code
io.github.sowiedu/edict
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
client:Claude Code
transport:stdio
runtime:npm
Install edict in Claude Code
run in your project directory
claude mcp add edict -- npx -y edict-langAdds it for this project only. Append --scope user to make it available everywhere. Claude Code docs