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.
01 / 选择客户端
03 / 添加配置
claude mcp add --transport stdio 'edict' -- 'npx' '-y' 'edict-lang'04 / 在客户端中确认
打开客户端的 MCP 设置，确认服务器已连接并列出工具。复制配置不代表连接成功。
更多AI & ML服务器
浏览完整目录安全概况
已认领和已认证的服务器每周接受一次静态扫描，显示代码能触及的范围（外部服务、环境变量、shell 命令、代理配置目录）以及带有已知公告的依赖。认领此列表即可获得。 安全概况的工作原理
22 个工具中显示 22 个
文档中列出的工具 (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