"author:Sowiedu" matching MCP servers:

• edict-lang

  Sowiedu

  A

  license

  C

  quality

  B

  maintenance

  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.

  Last updated 2026-04-25

  22

  19

  1

  MIT