capabilities · what this server can do
18 tools detected·auth: API key
high risk● active ○ not requested · hover each badge for details
● fs read● fs write● network● exec● eval● secrets
why high risk: fs read + fs write + network + exec + eval + secrets active — can execute code, access credentials, and make external network calls.
- edict_schema— Return the JSON Schema defining valid Edict AST programs. Use format 'minimal' for reduced token cost (strips descriptio
- edict_version— Return compiler version and capability info.
- edict_examples— Return example programs as JSON ASTs.
- 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. Suppor
+13 more tools
- edict_compile— Compile a semantically valid Edict AST into a WebAssembly module. Returns the WASM binary encoded as a base64 string. Su
- ⚠ edict_run— Execute a compiled WebAssembly module (provided as base64) in a sandboxed runtime with configurable limits.
- edict_patch— Apply surgical patches to an Edict AST by nodeId, then run the full check pipeline. Fix errors without resubmitting the
- edict_errors— Return machine-readable catalog of all structured error types.
- edict_lint— Run non-blocking lint analysis on an Edict AST. Returns quality warnings without blocking compilation.
- edict_debug— Execute an Edict program with debug instrumentation. Returns structured crash diagnostics including call stack, crash lo
- edict_compose— Compose multiple Edict program fragments into a single module. Fragments declare what they provide and require.
- edict_explain— Given a structured error, returns enriched repair context: pipeline stage, field metadata, example ASTs, and repair stra
- 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_generate_tests— Auto-generate structured test cases from Z3-verified contracts. Extracts boundary values and counterexamples as regressi
- edict_replay— Re-execute a WASM module using a previously recorded replay token for deterministic reproduction of runtime behavior.
- edict_support— Returns structured sponsorship and support information for the Edict project.