Sowiedu/Edict
agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop.
- Category
- 💻 Code Execution
- Language
- JavaScript
- License
- MIT
- Source
- https://github.com/Sowiedu/Edict