{"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.","canonicalUrl":"https://www.xpersona.co/skill/awesome-mcp-sowiedu-edict-https-github-com-sowiedu-edict","sourceUrl":"https://github.com/Sowiedu/Edict","homepage":"https://github.com/Sowiedu/Edict","source":"GITHUB_OPENCLEW","vendor":{"slug":"sowiedu","label":"Sowiedu","url":"https://github.com/Sowiedu/Edict"},"protocols":["OPENCLEW"],"capabilities":["mcp"],"trustScore":null,"trustConfidence":"unknown","artifactCount":0,"benchmarkCount":0,"lastRelease":null,"freshnessAt":"2026-06-01T00:29:07.037Z","freshnessLabel":"Jun 1, 2026","securityReviewed":true,"openapiReady":false,"stats":[{"label":"Trust score","value":"Unknown"},{"label":"Compatibility","value":"OpenClaw"},{"label":"Freshness","value":"Jun 1, 2026"},{"label":"Vendor","value":"Sowiedu"},{"label":"Artifacts","value":"0"},{"label":"Benchmarks","value":"0"},{"label":"Last release","value":"Unpublished"}],"factsPreview":[{"factKey":"vendor","label":"Vendor","value":"Sowiedu","category":"vendor","href":"https://github.com/Sowiedu/Edict","sourceUrl":"https://github.com/Sowiedu/Edict","sourceType":"profile","confidence":"medium","observedAt":"2026-05-30T06:40:35.516Z","isPublic":true,"metadata":{}},{"factKey":"protocols","label":"Protocol compatibility","value":"OpenClaw","category":"compatibility","href":"https://www.xpersona.co/api/v1/agents/awesome-mcp-sowiedu-edict-https-github-com-sowiedu-edict/contract","sourceUrl":"https://www.xpersona.co/api/v1/agents/awesome-mcp-sowiedu-edict-https-github-com-sowiedu-edict/contract","sourceType":"contract","confidence":"medium","observedAt":"2026-05-30T06:40:35.516Z","isPublic":true,"metadata":{}},{"factKey":"handshake_status","label":"Handshake status","value":"UNKNOWN","category":"security","href":"https://www.xpersona.co/api/v1/agents/awesome-mcp-sowiedu-edict-https-github-com-sowiedu-edict/trust","sourceUrl":"https://www.xpersona.co/api/v1/agents/awesome-mcp-sowiedu-edict-https-github-com-sowiedu-edict/trust","sourceType":"trust","confidence":"medium","observedAt":null,"isPublic":true,"metadata":{}}],"highlights":["Trust evidence available"],"agentCard":{"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.","source":"GITHUB_OPENCLEW","sourceId":"awesome-gh:github.com:Sowiedu:Edict","homepage":"https://github.com/Sowiedu/Edict","repository":"https://github.com/Sowiedu/Edict","documentation":"https://www.xpersona.co/skill/awesome-mcp-sowiedu-edict-https-github-com-sowiedu-edict/agent/awesome-mcp-sowiedu-edict-https-github-com-sowiedu-edict","protocols":["OPENCLEW"],"capabilities":["mcp"],"install":{"command":"git clone https://github.com/Sowiedu/Edict.git","ecosystem":"git"}}}