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.
Source not yet analyzed — this grade rests on attested signals (CVEs, supply-chain) only. It is a floor: reading the code could raise it, not lower it.
- capability exposureinferred+35
- recent driftinferred+12
- tool safetyinferred+12
- trust mitigatorsmixed−3
inferredmixed
The A–E grade is our heuristic synthesis — a "review this" prompt, not a verdict. Each factor is tagged by what backs it: attested (a verifiable record), reported (a third party's claim), or inferred (our own heuristic, e.g. permissions). See methodology.
graded 9m ago · see ecosystem CVEs →
- A · 3 → C · 56
No known CVEs for this server.
- highdangerous code
dynamic exec: eval()
analyzed analyzer v18 · 3h ago
skills & prompt files 5
- skillSowiedu-Edict-519d932/.agent/skills/edict-compiler-dev/SKILL.md
- skillSowiedu-Edict-519d932/.agent/skills/edict-program-writer/SKILL.md
- skillSowiedu-Edict-519d932/.agent/skills/edict-testing/SKILL.md
- skillSowiedu-Edict-519d932/.agent/skills/skill-creator/SKILL.md
- agent-rulesSowiedu-Edict-519d932/AGENTS.md
danger signals2
- dynamic code executioneval()Sowiedu-Edict-519d932/src/contracts/solver-context.ts:64
eval(expr: any, completion: boolean): any; - dynamic code executioneval()Sowiedu-Edict-519d932/src/contracts/solver/solver.ts:318
eval(expr: any, _completion: boolean): any {
- recent drift+12 capability drift →
[](https://mcpobservatory.com/servers/github:Sowiedu/Edict/security) Heuristic, inferred signals — false positives (legitimately powerful tools, forks, language ports) are expected. Treat each as "review this", not a verdict. See the ecosystem-wide picture on the security hub, or the fleet security of Sowiedu.