Provides language expertise and a compiler-in-the-loop workflow for writing serverless handlers in the zigts TypeScript subset targeting the zigttp runtime. The skill teaches which language features are allowed/blocked, how to run zigts check --json to obtain structured diagnostics and proofs, and how to iterate until the handler passes verification. It also documents virtual modules (zigttp:*), contract extraction, and patterns for safe error handling and sandboxed imports.
Use this skill when authoring or debugging .ts/.tsx/.js/.jsx handlers for zigttp, when you need to run the zigts verifier and parse its JSON output, or when you must produce a provable sandbox contract (env vars, hosts, modules). Trigger on compiler errors, proof review, or when converting existing handlers to the zigts subset.
references/ docs (virtual-modules, testing, JSX patterns).Best used with code-capable agents that can run CLIs and parse JSON output (Claude Code, Copilot/Codex-style flows, or any agent with shell/JSON parsing support).
Cette compétence n'a pas encore été examinée par notre pipeline d'audit automatisé.
