// MCP TOOL REFERENCE

EDICT LANG TOOLS

22 tools from the Edict Lang MCP Server, categorised by risk level.

// ALL 22 EDICT LANG TOOLS

READ 3 tools

Read edict_check Run the full semantic checker (name resolution, type checking, effect checking, contract verification) on a... Read edict_support Returns structured sponsorship and support information for the Edict project Read edict_validate Validate an Edict AST against the compiler's JSON schema without typing or compiling. Use this as a first p...

WRITE 4 tools

Write edict_export Export an Edict AST as a portable WASM skill package with validation and manifest generation. Write edict_generate_tests Auto-generate structured test cases from Z3-verified contracts. For proven contracts, extracts boundary inp... Write edict_import_skill Import and execute a compiled Edict WASM skill package, validating its checksum. Write edict_patch Apply surgical patches to an Edict AST by nodeId, then run the full check pipeline. Use this to fix errors ...

EXECUTE 15 tools

Execute edict_compile Compile a semantically valid Edict AST into a WebAssembly module. Returns the WASM binary encoded as a base... Execute edict_compose Compose multiple Edict program fragments into a single module. Fragments declare what they provide and requ... Execute edict_debug Execute an Edict program with debug instrumentation. Compiles the AST with call-stack tracing, runs it, and... Execute edict_deploy Deploy an Edict program to a target. Runs the full pipeline (validate → check → compile) then packages for ... Execute edict_errors edict_errors Execute edict_examples edict_examples Execute edict_explain Given a structured error, returns enriched repair context: pipeline stage, field metadata, example ASTs, an... Execute edict_invoke Invoke a deployed Edict WASM service via HTTP. Sends a request to the given URL with optional input and ret... Execute edict_invoke_skill Execute a packaged Edict skill — load WASM from a SkillPackage, verify integrity checksum, and run it. Retu... Execute edict_lint Run non-blocking lint analysis on an Edict AST. Returns quality warnings (unused variables, missing contrac... Execute edict_package Package a compiled Edict module + WASM binary into a portable SkillPackage. Input: the module AST (same one... Execute edict_replay Re-execute a WASM module using a previously recorded replay token for deterministic reproduction of runtime... Execute edict_run Execute a compiled WebAssembly module (provided as base64) in a sandboxed runtime. The WASM VM has no ambie... Execute edict_schema Return the JSON Schema defining valid Edict AST programs. Use format 'agent' for one-call bootstrapping (mi... Execute edict_version edict_version

// RUNNING THIS SERVER

The managed route: connect Edict Lang through the PolicyLayer gateway — every tool call above is checked against your policy before it runs, with a full audit log.

DIRECT INSTALL (UNMANAGED) npx -y edict-lang

// FAQ

How many tools does the Edict Lang MCP server have? +

The Edict Lang MCP server exposes 22 tools across 3 categories: Read, Write, Execute.

How do I enforce policies on Edict Lang tools? +

Route the Edict Lang server through the PolicyLayer gateway. Define allow, deny, or approval rules per tool in the dashboard — they are enforced on every call before it reaches the server.

What risk categories do Edict Lang tools fall into? +

Edict Lang tools are categorised as Read (3), Write (4), Execute (15). Each category has a recommended default policy.

Let agents act without letting them run wild.

Route your MCP servers through PolicyLayer and every tool call is checked against your policy before it runs — allow, deny, or require approval. Per-identity grants. Full audit log. Live in minutes.

SECURE YOUR MCP →

Free to start. No card required.

4,600+ MCP servers and 31,000+ tools scanned and risk-classified.