MCP Servers by Patrick

"author:Sowiedu" matching MCP servers:

• edict-lang

  Sowiedu

  A

  security

  A

  license

  A

  quality

  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 8 hours ago

  22

  1,479

  MIT