Verified record · from the answer index

io.github.Sowiedu/edict

mcptested · static-verifiedscore 41/100signed passport ✓published 218d 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