Verified record · from the answer index
io.github.Sowiedu/edict
mcptested · static-verifiedscore 41/100signed passport ✓published 172d ago · verified 2026-08-087 GitHub stars
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
Install
claude mcp add edict -- npx -y edict-lang
registry:io.github.Sowiedu/edict · published by sowiedu · source repository