MCP 服务器
edict
io.github.Sowiedu/edict
此 MCP 可以做什么
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
功能
工具
0
工具
工具元数据未公开。
MCP Radar 尚未从此服务器获取到任何工具。