{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-09-29/server.schema.json","_meta":{"io.mcpregistry/tags":[],"io.mcpregistry/tools":[],"io.mcpregistry/transport":"stdio"},"description":"AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.","name":"io.github.sowiedu/edict","packages":[{"environmentVariables":[],"identifier":"edict-lang","registryType":"npm","transport":{"type":"stdio"},"version":"1.9.2"}],"repository":{"source":"github","url":"https://github.com/Sowiedu/Edict"},"title":"edict","version":"1.9.2"},"_meta":{"io.mcpregistry/official":{"status":"active","origin":"official","updated_at":"2026-09-15T03:58:24Z","synced_at":"2026-09-22T03:57:44.503431Z","is_latest":true,"published_at":"2026-09-15T03:58:24Z"}}}