"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.

  Updated 10 days ago (2026-08-01 07:36 UTC)

  22

  485

  8

  MIT