edict
local MCP serverInstallation
Terminal
claude mcp add edict -- npx -y edict-lang
Run in your project folder. Add --scope user to use it everywhere.
Claude Desktop, Cursor & other clients
Add to claude_desktop_config.json or .cursor/mcp.json.
{
"mcpServers": {
"edict": {
"command": "npx",
"args": [
"-y",
"edict-lang"
]
}
}
}Summary
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
Questions
edict is a local MCP server distributed as the npm package edict-lang.
Run: claude mcp add edict -- npx -y edict-lang
Run: codex mcp add edict -- npx -y edict-lang
Similar MCP servers
NameStars
- Agent-Native Designio.github.BuilderIO/agent-native-design6,874
- Agent Swarmio.github.desplega-ai/agent-swarm835
- three.ws Avatars & Agentsio.github.nirholas/three.ws218
- e2a — email for AI agentsdev.e2a/mcp-server191
- e2a — email for AI agentsio.github.Mnexa-AI/mcp-server191
- Trustablio.github.trustabl/agent-reliability-analyzer72
- MCP Server for OSCALio.github.awslabs/mcp-server-for-oscal53
- proletariat-cliio.github.chrismcdermut/proletariat-cli35