edict
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
stdio v1.9.2
Connection Configuration
Add this to your AI agent's MCP config file to connect.
Run in your terminal:
claude mcp add io.github.sowiedu--edict -- npx
Server Details
Transport
stdio
Authentication
NoneVersion
v1.9.2
Server Name
io.github.Sowiedu/edict
Last Updated
Mar 11, 2026
Get Started
How to install and connect this MCP server.