{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Sowiedu/edict","description":"AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.","repository":{"url":"https://github.com/Sowiedu/Edict","source":"github"},"version":"1.9.2","packages":[{"registryType":"npm","identifier":"edict-lang","version":"1.9.2","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-03-11T13:08:20.066765Z","publishedAt":"2026-03-11T13:08:20.066765Z","updatedAt":"2026-03-11T13:08:20.066765Z","isLatest":true}}}