AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
Free account. Installing gives you the manifest plus copy-paste snippets.
See reviewsImported from the official MCP registry - entry
io.github.Sowiedu/edictv1.9.2. Ratings and installs below are from this marketplace.
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
edict-lang @ 1.9.2Source: https://github.com/Sowiedu/Edict
Registry entry: io.github.Sowiedu/edict
Copy one of these into your project. Installing also returns the manifest and these snippets.
# after Install: the listing is in your workspace's routing pool - nothing else to configure
curl -s -X POST https://api.opensmartroute.ai/api/v1/route -H 'Authorization: Bearer $OSR_API_KEY' -H 'Content-Type: application/json' -d '{"text": "...", "plan": true}'
# or pin it on the OpenAI-compatible endpoint: {"model": "mcp-io-github-sowiedu-edict", ...}An Open Capability Manifest: the router reads it to know what this does, what it costs and when to pick it.
{
"ocm": "1",
"id": "mcp-io-github-sowiedu-edict",
"kind": "tool",
"name": "edict",
"description": "AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.",
"publisher": "Sowiedu",
"version": "1.9.2",
"capabilities": {
"domains": [
"general"
],
"tags": [
"mcp",
"mcp-server",
"npm",
"mcp-registry"
],
"languages": [
"en"
]
},
"quality_prior": 0.6,
"examples": [
"AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified."
],
"primary": false,
"metadata": {
"source": {
"provider": "mcp-registry",
"repository": "https://github.com/Sowiedu/Edict",
"path": "server.json",
"ref": "1.9.2",
"url": "https://github.com/Sowiedu/Edict",
"key": "io.github.Sowiedu/edict",
"registry": "https://registry.modelcontextprotocol.io"
}
}
}Fetch it by URL: GET /api/v1/registry/mcp-io-github-sowiedu-edict/manifest?version=1.9.2
Star ratings from people who tried it. One review per account; edit yours any time.
No reviews yet. Install it, try it, and be the first to rate it.