19 MCP servers and agent skills in the Code Execution category, ranked by quality score.
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.
Code-mode MCP server: collapses N user-defined tools into a two-tool surface (`execute_code` + `docs_search`). Backed by a unified capability manifest (`allowedHosts` / `cpuMs` / `memoryLimitBytes`) honoured across three sandbox kernels — in-process node:vm, WASM (QuickJS / Pyodide / Wasmtime), and remote microVM (E2B / Cloudflare Sandbox). Token-saving benchmark in repo CI.