Sowiedu/Edict

A programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically typed, effect-tracked, contract-verified, compiled to WASM via MCP.

This repository also configures its own agents. See what Edict tells them →

13Stars on the repository

6Mods indexed here, across every type

14d agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

edict

Sowiedu/Edict

MCP server Claude CodeCodexCursor +2

AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified. Runs locally from the edict-lang npm package.

not rated 13 14d ago A tokens not measured original MIT