Skip to content
mcp/harbor
Verified official

edict MCP

v1.9.2

io.github.sowiedu/edict

AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.

transport:stdio runtime:npm
View source

Target client

run in your project directory 

claude mcp add edict -- npx -y edict-lang

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs

This listing does not declare its tools. Connect the server and your client will discover them on the handshake.