Skip to content

Sowiedu/Edict

v1.12.0 Feature

This release adds 5 notable features for engineering teams evaluating rollout.

Published 2mo AI Agents & Assistants
✓ No known CVEs patched
Read the diff → Tool health → What is this tool? →

✓ No known CVEs patched in this version

Topics

ai ai-agents compiler effect-system formal-verification json-ast
+9 more
llm mcp model-context-protocol programming-language type-system typescript wasm webassembly z3

Summary

AI summary

Added edict_package, edict_invoke_skill, println builtin, CloudflareHostAdapter, effect polymorphism inference, IR lowering and dead‑code elimination.

Full changelog

1.12.0 (2026-03-13)

Features

  • add edict_package and edict_invoke_skill MCP tools (#136) (49073eb)
  • add println builtin (print with newline) (#143) (61bf988)
  • CloudflareHostAdapter for Workers edge runtime (#138) (d610f0a)
  • crystallized intelligence lifecycle example and integration guide (#137) (ab156e0)
  • edict_deploy MCP tool — deploy pipeline (#140) (2d07f2a)
  • effect polymorphism codegen, examples & docs (#129) (606c5c1)
  • effects: effect polymorphism inference and propagation (#128) (e4e6ad1)
  • implement IR lowering pass (lowerModule) (e8f242b), closes #131
  • IR dead code elimination pass — unused let removal + unreachable code after exit() (fb847e5)
  • mid-level IR type definitions (#130) (1cca706)
  • skill package format — packageSkill() and invokeSkill() (#135) (0678984)
  • Worker scaffold generator — WASM → deployable Cloudflare Worker bundle (#139) (3626bbe)

Bug Fixes

  • benchmark handles multi-module ASTs and skips tool_call examples (dbe8531)
  • fail fast on unrecognized CLI arguments (#149) (61145a5)
  • make tsx dependency conditional for production workers (#144) (a1bd567)
View diff on GitHub

Weekly OSS security release digest.

The CVE patches and breaking changes that affected production tools this week. One email, every Sunday.

No spam, unsubscribe anytime.

Share this release

Share on X Share on Bluesky

Track Sowiedu/Edict

Get notified when new releases ship.

Sign up free

About Sowiedu/Edict

Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop.

All releases →

Related context

Beta — feedback welcome: [email protected]