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).
Well-documented skill for writing zigts (restricted TypeScript) handlers for the zigttp serverless runtime. SKILL.md is comprehensive with language spec, diagnostic codes, virtual module APIs, and compiler-in-the-loop workflow. No bundled scripts — purely a reference skill. Niche audience limited to zigttp ecosystem developers.
Clean skill, no security concerns. Exceptionally thorough documentation with clear examples, diagnostic reference, and progressive disclosure via reference files. The source_path in the DB was wrong (tools/skills/... vs actual packages/tools/src/skills/...) but content was retrievable. Low usefulness score reflects narrow audience, not quality.
