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)未申請リスティング
このMCPサーバーはあなたのものですか？
このリスティングは公開情報から自動的にインデックスされました。申請することで、ページの編集、互換性の設定、成長ツールのアンロックができます。2分以内に完了します。
このサーバーを申請するツール（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