22 tools from the Edict Lang MCP Server, categorised by risk level.
View the Edict Lang policy →edict_check Run the full semantic checker (name resolution, type checking, effect checking, contract verification) on an AST. Supports single module (ast) or m... edict_support Returns structured sponsorship and support information for the Edict project edict_validate Validate an Edict AST against the compiler's JSON schema without typing or compiling. Use this as a first pass. edict_export Export an Edict AST as a portable WASM skill package with validation and manifest generation. 2/5 edict_generate_tests Auto-generate structured test cases from Z3-verified contracts. For proven contracts, extracts boundary input values and expected outputs from Z3 m... 2/5 edict_import_skill Import and execute a compiled Edict WASM skill package, validating its checksum. 2/5 edict_patch Apply surgical patches to an Edict AST by nodeId, then run the full check pipeline. Use this to fix errors without resubmitting the entire AST. Eac... 3/5 edict_compile Compile a semantically valid Edict AST into a WebAssembly module. Returns the WASM binary encoded as a base64 string. Supports single module (ast) ... 3/5 edict_compose Compose multiple Edict program fragments into a single module. Fragments declare what they provide and require, enabling independent validation and... 2/5 edict_debug Execute an Edict program with debug instrumentation. Compiles the AST with call-stack tracing, runs it, and returns structured crash diagnostics in... 3/5 edict_deploy Deploy an Edict program to a target. Runs the full pipeline (validate → check → compile) then packages for the specified target. Targets: 'wasm_bin... 3/5 edict_errors edict_errors 3/5 edict_examples edict_examples 3/5 edict_explain Given a structured error, returns enriched repair context: pipeline stage, field metadata, example ASTs, and repair strategy. 3/5 edict_invoke Invoke a deployed Edict WASM service via HTTP. Sends a request to the given URL with optional input and returns the structured result. Completes th... 3/5 edict_invoke_skill Execute a packaged Edict skill — load WASM from a SkillPackage, verify integrity checksum, and run it. Returns structured output with exit code and... 3/5 edict_lint Run non-blocking lint analysis on an Edict AST. Returns quality warnings (unused variables, missing contracts, oversized functions, redundant effec... 3/5 edict_package Package a compiled Edict module + WASM binary into a portable SkillPackage. Input: the module AST (same one sent to edict_compile) + the base64 WAS... 3/5 edict_replay Re-execute a WASM module using a previously recorded replay token for deterministic reproduction of runtime behavior. All non-deterministic host re... 3/5 edict_run Execute a compiled WebAssembly module (provided as base64) in a sandboxed runtime. The WASM VM has no ambient authority — filesystem, network, and ... 3/5 edict_schema Return the JSON Schema defining valid Edict AST programs. Use format 'agent' for one-call bootstrapping (minimal schema + compact maps + builtins +... 3/5 edict_version edict_version 3/5 The Edict Lang MCP server exposes 22 tools across 3 categories: Read, Write, Execute.
Use Intercept, the open-source MCP proxy. Write YAML rules for each tool — rate limits, argument validation, or deny rules — then run Intercept in front of the Edict Lang server.
Edict Lang tools are categorised as Read (3), Write (4), Execute (15). Each category has a recommended default policy.
Open source. One binary. Zero dependencies.
npx -y @policylayer/intercept