edict_errors
Returns machine-readable catalog of all error types
How to use it
edict_errors is exposed by the Edict MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), and the edict_errors 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)
Full pipeline: validate → resolve names → type check → effect check → verify contracts
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 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