edict
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
インストール
ワンクリックインストール
これを `claude_desktop_config.json` ファイルに追加してください:
{
"mcpServers": {
"edict": {
"command": "npx",
"args": [
"edict-lang"
]
}
}
}実行可能なパッケージ
npmedict-lang
1.9.2stdioできること
ツール一覧
公開できるツールの列挙は記録されていません。
コミュニティ
エビデンス
最近の観測
このサーバーには Registry のメタデータがありますが、公開された検証実行はまだありません。