Io Github Sowiedu Edict
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
Quick Install
npx -y io.github.Sowiedu/edictAbout Io Github Sowiedu Edict
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified. This MCP server enables AI assistants like Claude, ChatGPT, and other MCP-compatible clients to interact with Io Github Sowiedu Edict functionality directly.