Edict

AI-agent programming language.

Connector by Sowiedu · GitHub account verified by the MCP Registry

IndexedMITLocal (stdio)★ 13

Chalk Labs

Need help deploying Edict?

Chalk Labs sets up agents like this inside real teams: connected to your tools, tested on your data, with a human in the loop where it matters.

Book a call

Install

Works with Claude Code, Codex, VS Code, Cursor, Windsurf, Claude Desktop. Read the repository before you give any tool access to your data.

npx agentmarket install connector/sowiedu-edict

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

About

AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.

Use cases: code-generation, testing

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this server can do and what it asks for, from its tool list, install config and code. Checked Oct 25, 2026.

Tools: 5 read · 10 write · 0 delete · 11 not yet classified
Secrets: None asked for
Install scripts: None found
Runs as: Node.js package

Tools by what they do 26

Read from the source code; the running server may list different tools.

Read 5 · Look things up without changing anything.

edict_explain
edict_schema
edict_support
edict_validate
review_ast

Write 10 · Create, change, send or run things.

add_contracts
edict_compose
edict_debug
edict_deploy
edict_import_skill
edict_invoke
edict_invoke_skill
edict_patch
edict_run
write_program

Not yet classified 11 · We could not tell from the name and description.

edict_check
edict_compile
edict_errors
edict_examples
edict_export
edict_generate_tests
edict_lint
edict_package
edict_replay
edict_version
fix_error

Network hosts it talks to 5

api.cloudflare.com · found in code
fonts.googleapis.com · found in code
fonts.gstatic.com · found in code
github.com · found in code
glama.ai · found in code

Tools (26)

Read from the source code; the running server may differ. Descriptions are the server’s own words; hidden characters are shown as [U+…].

add_contracts
Prompt for adding pre/postcondition contracts to existing Edict functions for Z3 formal verification.
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_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_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_errors
Description is built at runtime.
edict_examples
Description is built at runtime.
edict_explain
Given a structured error, returns enriched repair context: pipeline stage, field metadata, example ASTs, and repair strategy.
edict_export
Export an Edict AST as a portable WASM skill package with validation and manifest generation.
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_import_skill
Import and execute a compiled Edict WASM skill package, validating its checksum.
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.
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_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'.

Show 11 more tools

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_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_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_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_schema
Return the JSON Schema defining valid Edict AST programs. Use format 'agent' for one-call bootstrapping (minimal schema + compact maps + builtins + effects).
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_version
Description is built at runtime.
fix_error
Prompt for fixing a structured Edict compiler error. Includes error taxonomy and fix strategy.
review_ast
Prompt for reviewing an Edict AST for quality issues (unused variables, missing effects, dead code, etc.).
write_program
System prompt for writing a new Edict program from a task description. Includes minimal schema, example, and builtin list.

Signals

Stars: 13
Forks: 2
Open issues: 0
Last commit: Sep 27, 2026 (1 month ago)
Last release: Apr 15, 2026 (6 months ago)

From GitHub (fetched Oct 24, 2026).

Details

Registry name: io.github.Sowiedu/edict
Version: 1.9.2
Auth: No auth
Packages: npm edict-lang
License: MIT
Repository: github.com/Sowiedu/Edict
First seen: Oct 24, 2026
Last checked: Oct 24, 2026
Source: Official MCP Registry github-graphql

Done for you

Rather not set it up yourself?

Chalk Labs scopes, builds and runs agents for your team: the task audit, the eval harness, the integrations and the weekly ops report. Fixed scope, priced before we start.

See how we build AI agents →Read the case studies

Chalk Labs is a two-founder AI and growth studio. We build AI agents, CRMs and MVPs for Web3 and AI companies, and have shipped 50+ product and token launches.

launches shipped: 50+; launches shipped
media placements: 500+; media placements
founders on every account: 2; founders on every account

Press we've placed: Forbes · CoinDesk · Decrypt · Cointelegraph · The Block

Rahil Jain, Co-founder, Chalk Labs. Ex-Goldman Sachs engineer. You talk to the person who builds it.

Get Edict running in your business

Tell us what you want to automate. A founder replies within one working day with a plan, not a pitch deck.

Need help deploying Edict?

Call Get help

Cite this page

Edict MCP server. Agent Mart. https://agentmart.dev/connectors/sowiedu-edict (last updated 2026-10-24)