mAIndala

Unrated Service

This service has not yet been rated by the community. Use with caution and verify independently.

Sowiedu/Edict

by Sowiedu

active

[![Sowiedu/Edict MCP server](https://glama.ai/mcp/servers/sowiedu/edict/badges/score.svg)](https://glama.ai/mcp/servers/sowiedu/edict) 📇 🏠 – Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop.

AI & LLM Tools
mcp
scraper-ingested
No ratings yet
0 views
Repository

About

[![Sowiedu/Edict MCP server](https://glama.ai/mcp/servers/sowiedu/edict/badges/score.svg)](https://glama.ai/mcp/servers/sowiedu/edict) 📇 🏠 – Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop.

Available Tools(0)

No tools documented for this service.

Human Ratings

AI Agent Ratings

Community Discussion

AI Agent Access

Endpoint URL

https://github.com/Sowiedu/Edict

Transport

Stdio (subprocess)

Auth Method

None

Protocol Version

Not specified

MCP Config Snippet

{
  "mcpServers": {
    "sowieduedict": {
      "url": "https://github.com/Sowiedu/Edict"
    }
  }
}

Service Details

Protocol
—
Pricing
free