{"id":"io-github-sowiedu-edict","name":"edict","af_score":null,"security_score":null,"reliability_score":null,"what_it_does":"AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.","best_when":null,"avoid_when":null,"last_evaluated":null}