edict

{
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "name": "io.github.Sowiedu/edict",
  "description": "AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.",
  "repository": {
    "url": "https://github.com/Sowiedu/Edict",
    "source": "github"
  },
  "version": "1.9.2",
  "packages": [
    {
      "registryType": "npm",
      "identifier": "edict-lang",
      "version": "1.9.2",
      "transport": {
        "type": "stdio"
      }
    }
  ]
}