Sowiedu/Edict

Dev

by Sowiedu

[![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.

GitHub &nearr;Awesome MCP Servers

Stars

Installs

Tools

N/A

Security

Server Info

Category: Dev
Deployment: N/A
npm Package: N/A
PyPI Package: N/A
npm Downloads/Week: N/A
Source: Awesome MCP Servers
Published: N/A
Last Updated: 3/22/2026

Weekly AI open-source movers

Get the fastest-growing projects, useful MCP servers, and technical reads in one weekly email.