Sowiedu

6 mods across 1 repository, 13 stars between them.

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