Edict
by sowieducommunityv1.9.2
6
2
Edict is a statically-typed programming language designed for AI agents that produces programs as JSON Abstract Syntax Trees (ASTs) without the need for text parsing or human-readable syntax.
From the registry: AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
Install & configure
Install in your client
Paste into the AI you're chatting with — it will figure out the rest
Please install the `edict` MCP server into my current AI client (that's you).
Canonical MCP server config (stdio transport):
- command: `npx`
- args: ["edict-lang"]
Note: Docker image ghcr.io/sowiedu/edict also available; supports HTTP transport via EDICT_TRANSPORT=http.
Add this MCP server to my current client's config in the correct format for you. If you need secrets or credentials I haven't provided, ASK me — do not invent values or leave raw placeholders. After adding it, tell me how to verify the server is connected.Note: Docker image ghcr.io/sowiedu/edict also available; supports HTTP transport via EDICT_TRANSPORT=http.
Tools (22)
edict_schema
Returns the full AST JSON Schema — the spec for how to write programs
edict_version
Returns compiler version and capability info
edict_examples
Returns 41 example programs as JSON ASTs (includes schema snippet)
edict_validate
Validates AST structure (field names, types, node kinds)
edict_check
Full pipeline: validate → resolve names → type check → effect check → verify contracts
edict_compile
Compiles a checked AST to WASM (returns base64-encoded binary)
edict_run
Executes a compiled WASM binary, returns output and exit code
edict_patch
Applies targeted AST patches by nodeId and re-checks
edict_errors
Returns machine-readable catalog of all error types
edict_lint
Runs non-blocking quality analysis and returns warnings
edict_debug
Execution tracing and crash diagnostics
edict_compose
Combines composable program fragments into a module
edict_explain
Explains AST nodes, errors, or compiler behavior
Environment variables
EDICT_TRANSPORTrequiredSpecifies the transport method for the MCP server (e.g., http)Packages
edict-lang
npmv1.9.2transport: stdio
Details
- Language
- JavaScript
- License
- MIT
- Released
- Mar 11, 2026
- Last commit
- Jun 13, 2026
- Registry name
- io.github.Sowiedu/edict
Categories
Related Servers
Netdata
Real-time infrastructure monitoring with metrics, logs, alerts, and ML-based anomaly detection.
80.2k
Codebase Memory Mcp
Persistent codebase knowledge graph. Survives session restarts and context compaction.
39.2k
Oh My Posh Validator
Validate oh-my-posh configurations and segment snippets against the official schema.
23.3k