# io.github.Sowiedu/edict

> Use this tool when you need to create verified and efficient AI agent programs, converting JSON Abstract Syntax Trees (ASTs) into WebAssembly (WASM) output with type checking, effect tracking, and Z3 verification. It solves problems of code reliability and performance in AI agent development, providing a robust interface for inputs and outputs. Ideal for use cases requiring secure and optimized AI agent programming.

Canonical page: https://skillsregistry.net/skills/io-github-sowiedu-edict  
JSON: https://api.skillsregistry.net/v1/skills/io-github-sowiedu-edict

## Description

AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.

## Trust

- **Trust score (0–1):** 0.94
- **Verification tier:** verified
- **Last scanned:** 2026-09-19

## Facts

- **Version:** 1.9.2
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** other
- **Updated:** 2026-09-19

## Source

- **Source listing:** [MCP Registry](https://registry.modelcontextprotocol.io/v0/servers/io.github.Sowiedu%2Fedict)
- **Repository:** <https://github.com/Sowiedu/Edict>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "io-github-sowiedu-edict"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/io-github-sowiedu-edict` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/io-github-sowiedu-edict/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt