AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
Edict is a statically-typed, effect-tracked programming language where the canonical program format is a JSON AST. It's purpose-built so AI agents can write, verify, and execute programs through a structured pipeline — no text parsing, no human-readable syntax, no ambiguity.
Compare MCP servers by category, or browse hosted MCP servers if you prefer an endpoint over a local process.
Check the linked publisher documentation and your connected client's tool list. Names and availability can vary with the server version and account permissions.
| Tool | What it does |
|---|---|
| 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 |
| edict_export | Packages a program as a UASF portable skill |
{
"mcpServers": {
"edict": {
"command": "npx",
"args": ["-y", "edict-lang"]
}
}
}Add to claude_desktop_config.json, then restart Claude Desktop.
Read, search and edit files inside allowed directories with the Model Context Protocol reference Filesystem server.
Retrieve version-aware library documentation and code examples with Context7 MCP, using resolve-library-id and query-docs.
The fastest MCP connect to Zotero
Emissao, consulta e cancelamento de NF-e e NFS-e no Brasil para agentes de IA, via Focus NFe.
Cross-platform tools for creating, managing, and querying modular RAG-ready libraries
A coding MCP Server written in Rust