Sowiedu/Edict
Coding
Free
Open Source
[](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 W
<p><strong>Sowiedu/Edict</strong> is a coding MCP server that [](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 W.</p>
<h2>How to Use Sowiedu/Edict</h2>
<p>To use Sowiedu/Edict, you need an MCP-compatible client such as Claude Desktop, Cursor, or VS Code with an MCP extension. Once configured, the AI model can automatically use the tools provided by this server.</p>
Key Features
- Open source with community contributions
- Code generation and editing
- Multi-language support
Similar MCP Servers
View all →
Cc Switch
A cross-platform desktop All-in-One assistant tool for Claude Code, Codex, OpenCode, openclaw &...
Github MCP Server
GitHub's official MCP Server
Antigravity Awesome Skills
Installable GitHub library of 1,304+ agentic skills for Claude Code, Cursor, Codex CLI, Gemini...
Repomix
📦 Repomix is a powerful tool that packs your entire repository into a single, AI-friendly file....