Back to MCP Servers
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.
code-executionagent
By Sowiedu
Installation
npx -y EdictConfiguration
{
"mcpServers": {
"Edict": {
"command": "npx",
"args": ["-y", "Edict"]
}
}
}How to use
- Run the installation command above (if needed)
- Open your Claude Code settings file (~/.claude/settings.json)
- Add the configuration to the mcpServers section
- Restart Claude Code to apply changes