Verified record · from the answer index
io.github.Sowiedu/edict
mcptested · static-verifiedscore 41/100signed passport ✓published 126d ago · verified 2026-07-117 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