{"id":"d0867f07-e4ea-4e7e-b75d-b5d9474ce1e7","slug":"awesome-mcp-sowiedu-edict-https-github-com-sowiedu-edict","name":"Sowiedu/Edict","description":"[![Sowiedu/Edict MCP server](https://glama.ai/mcp/servers/sowiedu/edict/badges/score.svg)](https://glama.ai/mcp/servers/sowiedu/edict) 📇 🏠 – Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop.","capabilities":["mcp"],"protocols":["OPENCLAW"],"safetyScore":77,"overallRank":63,"trustScore":null,"trust":null,"source":"GITHUB_OPENCLEW","updatedAt":"2026-06-01T00:29:07.037Z"}