Edict
未认领A programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically typed, effect-tracked, contract-verified, compiled to WASM via MCP.
安装
npx edict-lang # start MCP server (stdio transport, no install needed)工具（22 个）
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_compose
Combines composable program fragments into a module
edict_debug
Execution tracing and crash diagnostics
edict_deploy
Compiles and deploys an Edict program to edge runtimes (Cloudflare Workers)
edict_errors
Returns machine-readable catalog of all error types
edict_examples
Returns 41 example programs as JSON ASTs (includes schema snippet)
edict_explain
Explains AST nodes, errors, or compiler behavior
edict_export
Packages a program as a UASF portable skill
edict_generate_tests
Generates tests from Z3-verified contracts
edict_import_skill
Imports and executes a UASF skill package
edict_invoke
Invokes a deployed Edict WASM service via HTTP
edict_invoke_skill
Invokes a UASF skill package directly
edict_lint
Runs non-blocking quality analysis and returns warnings
edict_package
Packages a compiled program as a deployable skill bundle
edict_patch
Applies targeted AST patches by nodeId and re-checks
edict_replay
Records and replays deterministic execution traces
edict_run
Executes a compiled WASM binary, returns output and exit code
edict_schema
Returns the full AST JSON Schema — the spec for how to write programs
edict_support
Returns diagnostics and environment info for troubleshooting
edict_validate
Validates AST structure (field names, types, node kinds)
edict_version
Returns compiler version and capability info