N/A
Sowiedu/edict-lang
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.
Scan Scheduled
This agent is queued for security scanning. It will be graded in the next scan batch.
What We Know
- URL https://glama.ai/mcp/servers/qfegkp7fh5
- Framework mcp
- Sources glama
- First Seen Mar 24, 2026
- Repository github.com/Sowiedu/Edict
Browse more:
Search all agents
Ecosystem Report