edict_check
Full pipeline: validate → resolve names → type check → effect check → verify contracts
How to use it
edict_check is exposed by the Edict MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), and the edict_check tool becomes available to the model automatically. See the full listing for setup details and every tool this server provides.
Install Edict
npx edict-lang # start MCP server (stdio transport, no install needed)Other tools in Edict (21)
Compiles a checked AST to WASM (returns base64-encoded binary)
Combines composable program fragments into a module
Execution tracing and crash diagnostics
Compiles and deploys an Edict program to edge runtimes (Cloudflare Workers)
Returns machine-readable catalog of all error types
Returns 41 example programs as JSON ASTs (includes schema snippet)
Explains AST nodes, errors, or compiler behavior
Packages a program as a UASF portable skill
Generates tests from Z3-verified contracts
Imports and executes a UASF skill package
Invokes a deployed Edict WASM service via HTTP
Invokes a UASF skill package directly
Runs non-blocking quality analysis and returns warnings
Packages a compiled program as a deployable skill bundle
Applies targeted AST patches by nodeId and re-checks
Records and replays deterministic execution traces
Executes a compiled WASM binary, returns output and exit code
Returns the full AST JSON Schema — the spec for how to write programs
Returns diagnostics and environment info for troubleshooting
Validates AST structure (field names, types, node kinds)
Returns compiler version and capability info