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.

Project and installation details

Categories: Code Execution.

Directory listing from awesome-mcp-servers; Frontier Now has not tested or reviewed this server.