MCPサーバー
edict
io.github.Sowiedu/edict
このMCPでできること
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
機能
ツール
0
ツール
ツール情報は公開されていません。
MCP Radarはまだこのサーバーからツール情報を取得できていません。