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.
Partial audit · 3/5 dimensions · Audit v1.1-github-security · today · imported from awesome mcp
Tool details coming soon. This server has 0 tools available.
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.
Yes, Edict is completely free to use with no usage limits on the free tier.
Edict is listed under the developer-tools category in the AgentForge MCP registry.
Edict has a current uptime of 99.9% with an average response time of 0ms.
To connect Edict, click the "Connect Agent" button on this page to get the configuration snippet. Add it to your MCP client (Claude Desktop, Cursor, or any MCP-compatible tool). Your AI agent will then have access to all of Edict's tools via the Model Context Protocol.