Sowiedu/Edict

📇 – Lenguaje de programación de agente primero: los agentes producen JSON AST, el compilador valida, verifica tipos, verifica efectos, verifica contratos a través de Z3/SMT y compila en WASM. 19 herramientas MCP para el ciclo completo de compilación y ejecución.