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.

Open on GitHub

11Stars on the repository

9Mods indexed here, across every type

4d 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.

11 4d ago A tokens not measured original MIT