{"server":{"id":"sowiedu-edict-920797f07b12","name":"Sowiedu/Edict","title":"Sowiedu/Edict","description":"Agent-oriented programming language: agents emit a JSON AST that the compiler validates, type- and effect-checks, verifies with Z3/SMT and compiles to WASM.","category":"Development","transport":"Local","pricing":"Unknown","website":"https://github.com/Sowiedu/Edict","repository":"https://github.com/Sowiedu/Edict","version":"1.9.2","manifest":"{\"name\":\"io.github.Sowiedu/edict\",\"version\":\"1.9.2\",\"repository\":{\"url\":\"https://github.com/Sowiedu/Edict\"},\"remotes\":[],\"packages\":[{\"registryType\":\"npm\",\"identifier\":\"edict-lang\",\"version\":\"1.9.2\",\"transport\":{\"type\":\"stdio\"},\"environmentVariables\":[]}]}","sourceName":"punkpeye/awesome-mcp-servers","sourceUrl":"https://github.com/punkpeye/awesome-mcp-servers","status":"approved","seoTitle":"Sowiedu/Edict MCP server","seoDescription":"Agent-oriented programming language: agents emit a JSON AST that the compiler validates, type- and effect-checks, verifies with Z3/SMT and compiles to WASM.","createdAt":"2026-11-04T07:18:55.917Z","updatedAt":"2026-11-04T07:58:36.806Z"}}