edict_check

MCP tool from Edict by Sowiedu

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

How to use it

Project documentation lists edict_check for the Edict MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), then check which tools your installed version makes available. Tool availability can depend on configuration and credentials. A server handshake does not verify this tool’s behavior. See the full listing for setup details.

Install Edict

$npx edict-lang # start MCP server (stdio transport, no install needed)
FULL EDICT LISTING

Other tools in Edict (21)

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