AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
Runs locally over stdio
This server isn't hosted — your MCP client launches it from a package registry. Use one of the commands below, or drop the config into your client (e.g. Claude Desktop).
Run
npx -y edict-lang
MCP client config
{
"mcpServers": {
"edict": {
"command": "npx",
"args": [
"-y",
"edict-lang"
]
}
}
}