Agent-first programming language where agents produce JSON AST; compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, compiles to WASM. Provides 19 MCP tools for full compile-and-execute loop.
더 불러오는 중......
Edict
Agent-first programming language where agents produce JSON AST; compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, compiles to WASM. Provides 19 MCP tools for full compile-and-execute loop.
이와 관련된 다른 항목을 둘러보세요