E
edict
io.github.sowiedu/edict
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
Version1.9.2
Remote accessNO
Local installYES
Packagesnpm
First seen26 Sept 2026
Last seen4d ago
Capabilities
Matched from the publisher's description · automatic, low confidenceNo capability identified yet.
Facts & evidence
Each fact shows where it was seen and when.| Fact | Value | Evidence | Source | Last confirmed |
|---|---|---|---|---|
| Package registries | npm | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Local install (package) | yes | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Remote access (hosted) | no | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Repository | https://github.com/Sowiedu/Edict | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Registry status | active | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Version | 1.9.2 | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| MCP server | yes | DECLARED | SRC-001 Official MCP Registry | 4d ago |
Change history
Baseline
No change detected yet. History builds up as the robots revisit this server.