Edict
Sowiedu/Edict
Agent-oriented programming language: agents emit a JSON AST that the compiler validates, type- and effect-checks, verifies with Z3/SMT and compiles to WASM.
- Local integrations
Installation, supported tools and required credentials are maintained by the project.
Project details
- GitHub stars
- 13
- Language
- JavaScript
- License
- MIT
- Forks
- 2
- Latest release
- v1.23.26mo ago
- Activity
- updated 5d ago
- ai
- ai-agents
- compiler
- effect-system
- formal-verification
- json-ast
- llm
- mcp
First MCP server?Start with the basics
Containerized environments for coding agents: each agent works in its own fresh container and git branch, with execution history and terminal access.
Run untrusted Python/JavaScript code in WebAssembly sandboxes.
Access any API through its existing OpenAPI documentation.
Run JavaScript snippets in isolated Docker sandboxes with on-the-fly npm dependency installation and clean teardown.
JavaScript sandbox that uses V8 isolation to run AI-generated code locally, with heap snapshotting for persistent sessions.
Run LLM-generated code in a YepCode sandbox and create custom MCP tools in JavaScript or Python with npm and PyPI packages.
Access any API via its OpenAPI specification, with full JSON Schema support for parameters and request bodies.
Delegate tasks to other AI providers' models, e.g. ask OpenAI to generate an image.