What is Edict?
Edict is a MCP server by Sowiedu that agent-oriented programming language: agents emit a JSON AST that the compiler validates, type- and effect-checks, verifies with Z3/SMT and compiles to WASM. It is listed under Developer tools and has 13 GitHub stars.
| Type | Mcp server |
|---|---|
| Author | Sowiedu |
| Repository | Sowiedu/Edict |
| Popularity | 13 GitHub stars |
| Category | Developer tools |
| Security | Low risk (84/100) |
| Rank | #1,544 of 4,418 MCP servers; #350 in Developer tools |
| License | MIT |
| Last commit | 2026-10-17 |
| Runs | Locally |
| Language | TypeScript |
Is Edict safe to install?
Edict scores 84/100 on the MCPMods security check: Low risk. Things to review: executes code or shell commands. It passed 4 of 6 checks.
MCP server results come from listing signals: who publishes it, where your data goes and what it can do. The code itself is not scanned yet.
| Check | Result |
|---|---|
| Community-built server | Note |
| Runs on your machine only | Pass |
| No credentials mentioned | Pass |
| Read-only by description | Pass |
| Executes code or shell commands | Review |
| Source on GitHub | Pass |
How do I install Edict?
- Find the launch command. The README says how the server starts (npx, uvx, docker or a remote URL) and which API keys it needs.
https://github.com/Sowiedu/Edict
- Add it to Claude Code. Replace the part after -- with the command from the README. Remote servers use --transport http with a URL.
claude mcp add edict -- <command from README> claude mcp add --transport http edict <server-url>
- Check it connected. This lists your MCP servers and their status.
claude mcp list
Or ask Claude to set it up
Paste this into Claude Code and it installs Edict for you:
Add the "Edict" MCP server from https://github.com/Sowiedu/Edict to Claude Code. Read its README for the launch command and any API keys I need, run claude mcp add, then check that it connects.