Sowiedu/Edict

v1.7.0 Feature

This release adds 1 notable feature for engineering teams evaluating rollout.

Published 2mo AI Agents & Assistants

View tool

✓ 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 option.edict.json example program.

Full changelog

1.7.0 (2026-03-07)

Features

CI improvements — typecheck, coverage enforcement, validate-examples script, local CI mirror (#99, #100, #101, #103) (402a98a)
examples: add option.edict.json example program (820188c)

Bug Fixes

correct schema drift check paths in CI and pre-commit (#98) (9ad6b8b)
meet CI coverage thresholds with targeted tests + exclusions (8008fa3)
scope coverage/ gitignore to root only (43ba743)
update example count 18→19, skip unimplemented tuple-access tests, update docs (d96f1a2)

Performance Improvements

skip vitest in pre-commit when no test/example files staged (400937f)
tests: switch slow tests to runDirect, add shared WASM fixtures (9ee7a21)

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.

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 →