[](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 WA…
Everything here was measured by our prober or read from a registry. Nothing is self-reported.
Not distributed through a package registry we index.
Attributed to the source that supplied each field. Treated as claims, not facts.
[](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.
Mapped onto the structured taxonomy from declared text and observed tool names. Confidence shown for derived entries.
Every source is kept verbatim. Field changes are logged as events.
Answers airport lounge questions: what lounges exist, how to get in, what's inside, and what other travellers thought.