MCP server
Edict
io.github.Sowiedu/edict
Checked 26 Oct 2026, 08:31 UTC · Still published on its registry; checked against OSV.dev; never run by us
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
Runs on your computer
At a glance
- Type
- MCP server
- Publisher
- Not verified
- Status
- Runs on your computer
- Sets up in
- Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code
- Last checked
- 26 Oct 2026, 08:31 UTC
Connect it to your agent
Opens the app, which shows the server and asks you to confirm. It then runs the package on your computer with your permissions. For other apps, copy the setup below.
Claude Code
claude mcp add edict -- npx -y edict-lang@1.9.2
Claude Desktop
{"mcpServers":{"edict":{"command":"npx","args":["-y","edict-lang@1.9.2"]}}}
Codex (config.toml)
[mcp_servers.edict] command = "npx" args = ["-y","edict-lang@1.9.2"]
Gemini CLI
{"mcpServers":{"edict":{"command":"npx","args":["-y","edict-lang@1.9.2"]}}}
Cursor
{"mcpServers":{"edict":{"command":"npx","args":["-y","edict-lang@1.9.2"]}}}
VS Code
{"servers":{"edict":{"type":"stdio","command":"npx","args":["-y","edict-lang@1.9.2"]}}}
Runs on your computer with your permissions: check the package and its source before installing.
Browse
Related MCP servers
- ManyLives
Web search, point-in-time crypto market data, verified strategy track records and 160+ agent tools. - Code Explainer
Cloudflare Workers MCP server: code-explainer - Code402 Verify
Verify code402 XDR-1 receipts: keccak digest + secp256k1 signer recovery. Free, stateless. - WASM magic version, bytes discarded
WASM magic version, bytes discarded - AIHOT
Chinese AI news: search topics, explore hot events, and read daily, weekly and monthly briefs. - Compiler Explorer
Compile code with thousands of compilers, inspect the assembly, and share godbolt.org links - AlgoVault — Crypto Quant Trade Calls
The Brain Layer for AI Trading Agents — quant calls + cross-venue arb across perp venues via MCP. - Deer Supply
Deer Supply (Canada): GLP weight-loss pens, live prices and delivery; sign in for orders and health.
Badge for your README
[](https://aptlynx.net/servers/io.github.Sowiedu/edict)
Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents