Server record / io.github.Sowiedu/edict
edict
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
Runnable packages
npmedict-lang
1.9.2stdioTool inventory
No publishable tool enumeration has been recorded.
Recent observations
This server has Registry metadata but no public verification run yet.