MCP Server
edict
io.github.Sowiedu/edict
What this MCP does
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
Capabilities
Tools
0
tools
Tool metadata is not publicly available.
MCP Radar has not retrieved any tools from this server yet.