zigts Expert (Zigttp)

What it does

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.

When to use it

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.

What's included

• Scripts: none bundled in the skill folder, but references exist for virtual modules and testing.
• References: detailed references/ docs (virtual-modules, testing, JSX patterns).
• Instructions: concrete CLI loop (write -> zigts check --json -> read suggestions -> fix -> repeat) and language rules / banned features list.

Compatible agents

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