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の他のサーバー
ディレクトリ全体を見る未申請リスティング
このMCPサーバーはあなたのものですか？
このリスティングは公開情報から自動的にインデックスされました。申請することで、ページの編集、互換性の設定、成長ツールのアンロックができます。2分以内に完了します。
このサーバーを申請するセキュリティプロファイル
申請済みおよび認証済みのサーバーは毎週の静的スキャンを受け、コードが到達できる範囲（外部サービス、環境変数、シェルコマンド、エージェント設定フォルダ）と既知のアドバイザリを持つ依存関係が表示されます。このリスティングを申請すると利用できます。 セキュリティプロファイルの仕組み
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