Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| EDICT_TRANSPORT | No | The transport protocol to use for the MCP server. Set to 'http' for HTTP transport; defaults to stdio. | stdio |
Capabilities
Features and capabilities supported by this server
| Capability | Details |
|---|---|
| tools | {
"listChanged": true
} |
| prompts | {
"listChanged": true
} |
| resources | {
"listChanged": true
} |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| edict_schema | Return the JSON Schema defining valid Edict AST programs. Use format 'agent' for one-call bootstrapping (minimal schema + compact maps + builtins + effects). |
| edict_version | - |
| edict_examples | - |
| edict_validate | Validate an Edict AST against the compiler's JSON schema without typing or compiling. Use this as a first pass. |
| edict_check | Run the full semantic checker (name resolution, type checking, effect checking, contract verification) on an AST. Supports single module (ast) or multi-module (modules array) input. |
| 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) or multi-module (modules array) input. |
| edict_run | Execute a compiled WebAssembly module (provided as base64) in a sandboxed runtime. The WASM VM has no ambient authority — filesystem, network, and crypto access are provided exclusively through host adapters. Returns standard output, exit code, and any sandbox limit errors. Supports optional execution limits (timeout, memory, sandbox directory) and external WASM modules for import interop. Set record: true to capture all non-deterministic host responses in a replay token for deterministic reproduction. |
| 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. Each patch specifies a nodeId, an operation (replace/delete/insert), and the relevant field/value. |
| edict_errors | - |
| edict_lint | Run non-blocking lint analysis on an Edict AST. Returns quality warnings (unused variables, missing contracts, oversized functions, redundant effects, etc.) without blocking compilation. Warnings use the same structured format as errors but with severity: 'warning'. |
| edict_compose | Compose multiple Edict program fragments into a single module. Fragments declare what they provide and require, enabling independent validation and incremental program generation. |
| edict_debug | Execute an Edict program with debug instrumentation. Compiles the AST with call-stack tracing, runs it, and returns structured crash diagnostics including call stack at crash time, crash location with nodeId, and step count. Use this instead of edict_compile + edict_run when debugging runtime failures — the crash location and call stack enable targeted fixes without guessing. |
| edict_export | Export an Edict AST as a portable WASM skill package with validation and manifest generation. |
| edict_import_skill | Import and execute a compiled Edict WASM skill package, validating its checksum. |
| 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 WASM string returned by edict_compile. Output: a SkillPackage JSON with interface metadata, verification info, integrity checksum, and the embedded WASM. |
| 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 return value. |
| edict_generate_tests | Auto-generate structured test cases from Z3-verified contracts. For proven contracts, extracts boundary input values and expected outputs from Z3 models. For failing contracts, extracts counterexample inputs as regression tests. Returns an array of GeneratedTest objects — each with function name, input values, expected output, and source (boundary/counterexample). Use this to get free tests from formal specifications without writing them manually. |
| edict_explain | Given a structured error, returns enriched repair context: pipeline stage, field metadata, example ASTs, and repair strategy. |
| edict_replay | Re-execute a WASM module using a previously recorded replay token for deterministic reproduction of runtime behavior. All non-deterministic host responses (random values, timestamps, HTTP responses, file IO) are replayed from the token instead of calling real host functions. Use this to reproduce exact failures or verify fixes against known execution traces. |
| edict_support | Returns structured sponsorship and support information for the Edict project |
| edict_deploy | Deploy an Edict program to a target. Runs the full pipeline (validate → check → compile) then packages for the specified target. Targets: 'wasm_binary' (returns WASM + metadata), 'cloudflare' (generates Worker bundle). |
| 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 the deploy → invoke round-trip. |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
| write_program | System prompt for writing a new Edict program from a task description. Includes minimal schema, example, and builtin list. |
| fix_error | Prompt for fixing a structured Edict compiler error. Includes error taxonomy and fix strategy. |
| add_contracts | Prompt for adding pre/postcondition contracts to existing Edict functions for Z3 formal verification. |
| review_ast | Prompt for reviewing an Edict AST for quality issues (unused variables, missing effects, dead code, etc.). |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
| schema | The full JSON Schema defining valid Edict AST programs |
| schema-minimal | Token-optimized JSON Schema (descriptions stripped) for minimal context window usage |
| examples | 10 example Edict programs as JSON ASTs |
| errors | Machine-readable catalog of all structured error types with fields, pipeline stages, and example cause/fix ASTs |
| schema-patch | JSON Schema defining the AST diff/patch protocol for the edict_patch tool (replace, insert, delete operations) |
| support | Sponsorship and support information for the Edict project |
| guide | Agent bootstrap guide — workflow, template, error recovery, builtins, tool reference |