Edict MCP
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
no price published
github.com/Sowiedu · 1 listed service · provider site
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
Provider identity is derived from the domain or repository in the source record. If two vendors share a host, they appear together here — that is a limitation of the data, not a statement about ownership.