How do I connect Edict MCP Server to Claude?

Run `claude mcp add edict -- npx -y edict-lang` in Claude Code, or add the same command and arguments under mcpServers in Cursor's mcp.json or Claude Desktop's claude_desktop_config.json, then restart the client. The blocks above are ready to paste.

Is Edict MCP Server free?

The listed licence is MIT. Check the upstream terms for permitted use and commercial requirements; a public repository does not by itself mean the software is free or open source. Connected APIs and hosted services may have separate charges.

What can Edict MCP Server do?

Edict MCP Server documents 22 tools to the agent, including edict_check, edict_compile, edict_compose. The descriptions above come from project documentation. A live handshake does not test individual tool behavior.

Edict

Unclaimed

by Sowiedu

A programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically typed, effect-tracked, contract-verified, compiled to WASM via MCP.

Set up this server

Compare servers My Stack

01 / Choose your client

02 / Before you connect

Authentication is not specified. Check the project instructions before connecting.

Install the runtime required by the project and make it available to your client.

Project instructionsEnvironment variable names (optional)

Use names from the project instructions, separated by commas. Enter names only, never secret values.

03 / Add the configuration

Source: generated from public install instructions

claude mcp add --transport stdio 'edict' -- 'npx' '-y' 'edict-lang'

Run in your terminal after replacing any placeholders.

04 / Check it in your client

Open your client’s MCP settings and confirm the server connects and lists its tools. A copied configuration does not confirm a working connection.

aiai-agentscompilereffect-systemformal-verificationjson-astllmmcpmodel-context-protocolprogramming-language

Is this your MCP server?

This listing was auto-indexed from the public record. Claim it to edit the page, set compatibility and unlock growth tools. Takes under two minutes.

Claim this server

Security profile

Claimed and verified servers get a weekly static scan that shows what the code can reach: external services, environment variables, shell commands, agent configuration folders, plus any dependencies with known advisories. Claim this listing to get one. How the security profile works

22 of 22 tools

Documented tools (22)

From project documentation. A server handshake does not verify each tool’s description or behavior.

edict_check

Full pipeline: validate → resolve names → type check → effect check → verify contracts

edict_compile

Compiles a checked AST to WASM (returns base64-encoded binary)

edict_compose

Combines composable program fragments into a module

edict_debug

Execution tracing and crash diagnostics

edict_deploy

Compiles and deploys an Edict program to edge runtimes (Cloudflare Workers)

edict_errors

Returns machine-readable catalog of all error types

edict_examples

Returns 41 example programs as JSON ASTs (includes schema snippet)

edict_explain

Explains AST nodes, errors, or compiler behavior

edict_export

Packages a program as a UASF portable skill

edict_generate_tests

Generates tests from Z3-verified contracts

edict_import_skill

Imports and executes a UASF skill package

edict_invoke

Invokes a deployed Edict WASM service via HTTP

edict_invoke_skill

Invokes a UASF skill package directly

edict_lint

Runs non-blocking quality analysis and returns warnings

edict_package

Packages a compiled program as a deployable skill bundle

edict_patch

Applies targeted AST patches by nodeId and re-checks

edict_replay

Records and replays deterministic execution traces

edict_run

Executes a compiled WASM binary, returns output and exit code

edict_schema

Returns the full AST JSON Schema — the spec for how to write programs

edict_support

Returns diagnostics and environment info for troubleshooting

edict_validate

Validates AST structure (field names, types, node kinds)

edict_version

Returns compiler version and capability info

Tool change history

Compared across complete checks of the same configuration. Tools were listed, not invoked. Input-schema changes are not measured here.

No complete tool checks yet.

FAQ

Questions about Edict MCP Server

How do I connect Edict MCP Server to Claude?: Run `claude mcp add edict -- npx -y edict-lang` in Claude Code, or add the same command and arguments under mcpServers in Cursor's mcp.json or Claude Desktop's claude_desktop_config.json, then restart the client. The blocks above are ready to paste.
Is Edict MCP Server free?: The listed licence is MIT. Check the upstream terms for permitted use and commercial requirements; a public repository does not by itself mean the software is free or open source. Connected APIs and hosted services may have separate charges.
What can Edict MCP Server do?: Edict MCP Server documents 22 tools to the agent, including edict_check, edict_compile, edict_compose. The descriptions above come from project documentation. A live handshake does not test individual tool behavior.