| Edict | Container Use | |
|---|---|---|
| Description | agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for ... | Containerized environments for coding agents. Multiple agents can work independently, isolated in fresh containers and git branches. No conflicts, ... |
| Category | 💻 Code Execution | 💻 Code Execution |
| Language | JavaScript | Go |
| License | MIT | Apache-2.0 |
| Stars | 0 | 3698 |
| Website | https://github.com/Sowiedu/Edict | https://container-use.com |